DocumentCode :
465251
Title :
Language Extensions to SystemC: Process Control Constructs
Author :
Bhattacharya, Bishnupriya ; Rose, John ; Swan, Stuart
Author_Institution :
Cadence Design Syst. Inc., San Jose
fYear :
2007
fDate :
4-8 June 2007
Firstpage :
35
Lastpage :
38
Abstract :
The SystemC language has established itself as a popular choice for both modeling and verification at the system level. A well known deficiency in SystemC is the lack of process control constructs - e.g., suspend-resume, kill, reset - that are necessary in many applications domains. This paper identifies and describes a fundamental set of general purpose SystemC kernel extensions that fulfills this deficiency. Effective application of our language extensions are demonstrated in testbench and abstract hardware modeling scenarios.
Keywords :
C++ language; formal verification; hardware description languages; SystemC kernel extensions; SystemC language; language extensions; process control constructs; system modeling; system verification; Computer graphics; Fires; Hardware; Kernel; Monitoring; Portable computers; Power system modeling; Process control; Switches; System testing; Design; Languages; Process Control Constructs; Standardization; SystemC; Testbench; Verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2007. DAC '07. 44th ACM/IEEE
Conference_Location :
San Diego, CA
ISSN :
0738-100X
Print_ISBN :
978-1-59593-627-1
Type :
conf
Filename :
4261139
Link To Document :
بازگشت