皮纳帕

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