DocumentCode :
3015735
Title :
SystemCSV: an extension of SystemC for mixed multi-level communication modeling and interface-based system design
Author :
Siegmund, Robert ; Müller, Dietmar
Author_Institution :
Chemnitz Univ. of Technol., Germany
fYear :
2001
fDate :
2001
Firstpage :
26
Lastpage :
32
Abstract :
An extension of SystemC for mixed-multi level communication modeling and interface-based system design is proposed in this paper. SystemCSV 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 SystemCSV interfaces are presented together with a design example, the digital part of a wireless SmartCard transponder-reader/writer system
Keywords :
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; Communication system control; Computational modeling; Control systems; Design methodology; Digital systems; Handicapped aids; Hardware design languages; Protocols; System buses; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation and Test in Europe, 2001. Conference and Exhibition 2001. Proceedings
Conference_Location :
Munich
ISSN :
1530-1591
Print_ISBN :
0-7695-0993-2
Type :
conf
DOI :
10.1109/DATE.2001.914996
Filename :
914996
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3015735
بازگشت