皮纳帕

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

此软件的关键字

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

zbMATH中的参考文献（参考文献6条)

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

  1. 亚历山德罗·西马蒂；那拉萨姆迪亚，伊曼；Roveri，Marco:用偏序缩减提升SystemC的惰性抽象（2011）
  2. 奎亚特科夫斯卡，玛尔塔；诺曼，格钦；帕克，大卫：软件验证的时间和概率框架（2010）
  3. 坎塞尔，多米尼克；梅里，多米尼克；Proch，Cyril:基于证据的改进的系统芯片设计（2009）ioport公司
  4. 赫尔姆施泰特，C。；马拉尼奇，F。；Maillet Contoz，L.：系统芯片系统C事务级模型的全仿真覆盖（2009年）
  5. 费伊，格什温；Drechsler，Rolf:现代设计流程中的健壮性和可用性（2008）
  6. 莫伊，马修；佛罗伦萨，马拉尼奇；Maillet Contoz，Laurent:LusSy:一个在事务级别分析片上系统的开放工具（2006）ioport公司