期刊文献+

一种基于SystemC的系统级软硬件协同设计新模型 被引量:1

A new model for system level hardware and software co-design based on SystemC
下载PDF
导出
摘要 分析了SystemC的建模特性,提出了一种基于SystemC的系统级设计新模型,即从系统功能描述开始逐步细化,建立模型间通信抽象的事务模型,对抽象通信具体化,最后形成通信模型。以此为基础进行RTL级综合,完成软硬件协同设计。本方法应用于一款导航芯片的设计,有效地缩短了研制周期,降低了开发成本,提高了系统设计质量。 This paper analyses the characteristic of SystemC and gives a new model for system design based on SystemC. The model analyses the system function, refines to establish transaction model and communication model, and then abstracts to form the final communication model. It will implement RTL level synthesis to finish hardware and software co-design. In the design of a navigation chip, the new method is used. It has greatly shorten the development cycle, and reduced the development costs and improved, the quality of system design.
出处 《电子技术应用》 北大核心 2009年第8期148-151,共4页 Application of Electronic Technique
关键词 嵌入式系统 软硬件协同设计 SystemC语言 embedded system software and hardware co-design SystemC language
  • 相关文献

参考文献5

二级参考文献53

  • 1蒋屹新,林闯,曲扬,尹浩.基于Petri网的模型检测研究[J].软件学报,2004,15(9):1265-1276. 被引量:20
  • 2董梅,卢道华.并行设计技术在模拟训练仪研制中的应用[J].情报指挥控制系统与仿真技术,2005,27(3):71-74. 被引量:1
  • 3陈光禹 潘中良.可测试性设计技术[M].北京:电子工业出版社,1997..
  • 4Liu Jianhua, Zhu Ming, Bian Jinian, et al. A Debug Sub-System for Embedded System Co-Verification[J]. ASIC, 2001. Proceedings. 4th International Conference on, 2001.Page(s): 778~780.
  • 5CLARKE EM,GRUMBERG O,PELED D.Model Checking[M].MIT Press,1999.
  • 6GRAF S,SAIDI H.Construction of Abstraction State Graphs with PVS[A].Proceedings of the CAV'97[C].1997.72-83.
  • 7CORTES LA,ELES P,PENG Z.Formal Coverification of Embedded Systems Using Model Checking[A].Proceedings of the 26th Euromicro Conference[C].2000.106-113.
  • 8CORTES LA,ELES P,PENG Z.Verification of Embedded Systems Using Petri Net Based Representation[A].Proceedings of the 13th International Symposium on System Synthesis[C].2000.149-155.
  • 9ALUR R,HENZINGER TA,HO PH.Automatic Symbolic Verification of Embedded Systems[J].IEEE Transactions on Software Engineering,1996,22(3):181-201.
  • 10HASSE J.Design Methodology for IP Providers[A].Proceedings 1999 Design,Automation and Test in Europe(DATE 1999)[C].Washington DC:IEEE Computer Society,1999.728-732.

共引文献38

同被引文献6

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部