Systemc(Sv): An Extension Of Systemc For Mixed Multi-Level Communication Modeling And Interface-Based System Design
DATE '01: Proceedings of the conference on Design, automation and test in Europe（2001）
摘要
An extension of SystemC for mixed-multi level communication modeling and Interface-based system design is proposed in this paper. SystemC(SV) provides a new design unit. the interface, which enables specification, design and verification of system communication separately from system functionality, thus introducing a new quality of system design into SystemC. The concepts and computational model of SystemC(SV) interfaces are presented together with a design sign example, the digital part of a wireless SmartCard transponder-reader/writer system.
更多查看译文
关键词
C++ language,formal verification,telecommunication computing,transponders,SystemCSV,computational model,design unit,interface-based system design,mixed multi-level communication modeling,specification,system functionality,verification,wireless SmartCard transponder-reader/writer system,
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要