皮纳帕

Pinapa：一个用于描述片上系统的抽取工具。SystemC正在成为描述片上复杂系统的事实标准。它可以实现SOC的系统级描述：体系结构、软件和硬件部件的描述使用相同的语言。Pinapa这样的工具对于除仿真之外的任何其他方面都是必须的：它能够从SystemC代码中提取体系结构和行为信息，几乎没有限制。Pinapa可以作为各种分析工具的前端，从“superlint”到模型检查。它是开源的，可以从http://greensocs.sourceforge.net/pinapa/获得。到目前为止，还没有与SystemC相当的工具。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（参考 6篇文章 参考）

显示结果1到6，共6个。
按年份排序(引用)

  1. Cimatti，Alessandro；Narasamdya，Iman；Roveri，Marco:用偏序缩减促进SystemC的惰性抽象（2011）
  2. Kwiatkowska，Marta；Norman，Gethin；Parker，David：软件验证的时间和概率框架（2010）
  3. Cansell，Dominique；Méry，Dominique；Proch，Cyril:基于证据的改进的系统芯片设计（2009）ioport公司
  4. Helmstetter，C.；Maraninchi，F.；Maillet Contoz，L.：系统芯片系统C事务级模型的全仿真覆盖（2009年）
  5. Fey，Görschwin；Drechsler，Rolf:现代设计流中的健壮性和可用性（2008）
  6. Moy，Matthieu；Maraninchi，Florence；Maillet Contoz，Laurent:LusSy:一个用于在事务级别分析片上系统的开放工具（2006）ioport公司