皮纳帕

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


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公司