DocumentCode
2782976
Title
A systemC-based modular design and verification framework for C-model reuse in a HW/SW-codesign design flow
Author
Blaurock, Ole
Author_Institution
Dept. of Comput. Sci., Hamburg Univ., Germany
fYear
2004
fDate
23-24 March 2004
Firstpage
838
Lastpage
843
Abstract
Rising the level of abstraction in system modelling allows early verification of the system functionality, reducing the risk of long redesign cycles. Moving to a new flow introducing systemC as SDL allows the reuse of existing high-level C-models. A framework is presented that allows C-model integration and the connection of modules located at different levels of abstraction without the need to implement the communication or introduce adaptors to translate between the abstraction levels. The focus of the approach lies on high acceptance by the designers coming from a C and HDL based top-down design methodology.
Keywords
C language; formal verification; hardware description languages; hardware-software codesign; C-model integration; HW/SW-codesign; hardware description language; high-level C-models; system modeling; systemC-based modular design; top-down design methodology; verification framework; Computer science; Concurrent computing; Design methodology; Electrical equipment industry; Embedded software; Hardware design languages; Industrial control; Process design; Software systems; Time to market;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on
Print_ISBN
0-7695-2087-1
Type
conf
DOI
10.1109/ICDCSW.2004.1284130
Filename
1284130
Link To Document