系统C

系统C:从地面开始。SystemC为C++提供了一组健壮的扩展,可以快速开发复杂的硬件/软件系统。这本书的重点是实际使用的语言建模的真实系统。丰富的示例和可下载的代码有条理地引导读者了解SystemC语言的精髓。每一步代码的编码方法;每一步代码的可下载性;每一步代码的可下载性;每一步代码的可下载性;每一步代码的可下载性;为什么功能是这样的。作为EDA行业的知名顾问,David Black和Jack Donovan都参与了新技术和方法的采用和教学,总共42年多。最近,他们联合成立了一家咨询公司ekletic Ally,致力于帮助企业采用SystemC方法。


zbMATH参考文献(41篇文章引用,第1条标准)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. Schrammel,Peter;Krooning,Daniel;Brain,Martin;Martins,Ruben;Teige,Tino;Bienmüller,Tom:嵌入式软件的增量有界模型检查(2017)
  2. 《当代代数发展》;霍恩霍尔霍恩(George-Klesh)、霍恩(Stephen)和霍恩(Stephen)合著;霍恩·施特朗(Stephen-Strou)2016;霍恩·施特朗(Stephen-Zhu)合著
  3. Matsikoudis,Eleftherios;Lee,Edward A.:严格因果函数的不动点理论(2015)
  4. Zhu,H.;He,Jifeng;Qin,Shengchao;Brooke,Phillip:事件驱动系统级语言的指称语义及其代数推导(2015)
  5. Ebnenasir,Ali;Hajisheykhi,Reza;Kulkarni,Sandeep S.:促进事务级系统C程序中的容错设计(2013)
  6. Soliman,Mostafa I.;Al-Junaid,Abdulmajid F.:芯片多核处理器的共享矩阵单元(2013)ioport公司
  7. Cimatti,Alessandro;Narasamdya,Iman;Roveri,Marco:用偏序缩减促进SystemC的惰性抽象(2011)
  8. Haxthausen,Anne E;Peleska,Jan;Kinder,Sebastian:铁路控制系统构建和验证的正式方法(2011)
  9. Kamkin,A.S.;Chupilko,M.M.:基于仿真的硬件验证的现代技术综述(2011)ioport公司
  10. Lecomte,Stéphane;Guilluard,Samuel;Moy,Christophe;Leray,Pierre;Soulard,Philippe:基于模型驱动架构的实时嵌入式系统协同设计方法(2011)ioport公司
  11. Hartmann,Philipp A.;Grüttner,Kim;Rettberg,Achim;Podolski,Ina:使用SystemC实现多核架构的分布式资源感知调度(2010)
  12. Kwiatkowska,Marta;Norman,Gethin;Parker,David:软件验证的时间和概率框架(2010)
  13. Wang,N.;Sanusi,A.;Zhao,P.Y.;Elgamel,M.;Bayoumi,M.A.:PMCNOC:一种流水线式多通道中央缓存网络片上通信体系结构设计(2010)ioport公司
  14. 朱慧彪;杨帆;何继峰:从代数语义生成事件驱动系统级语言的指称语义(2010)
  15. Aziz,Syed Mahfuzul:串行通信总线的周期精确事务级系统C模型(2009)
  16. Cansell,Dominique;Méry,Dominique;Proch,Cyril:基于证据的改进的系统芯片设计(2009)ioport公司
  17. Cheung,Eric;Chen,Xi;Hsieh,Harry;Davare,Abhijit;Sangiovanni Vincentelli,Alberto;Watanabe,Yosinori:系统级设计的运行时死锁分析(2009)ioport公司
  18. Helmstetter,C.;Maraninchi,F.;Maillet Contoz,L.:系统芯片系统C事务级模型的全仿真覆盖(2009年)
  19. Riccobene,Elvinia;Scandurra,Patrizia:UPES/UPSoC嵌入式系统开发过程中的模型转换(2009)ioport公司
  20. Ditmar,Johan;Mckeever,Steve;Wilson,Alex:systemc硬件编译中现场可编程门阵列的面积优化(2008)ioport公司