Benutzer: Gast  Login
Autor(en):
Wang, Zhonglei; Haberl, Wolfgang; Kugele, Stefan; Tautschnig, Michael 
Titel:
Automatic Generation of SystemC Models from Component-based Designs for Early Design Validation and Performance Analysis 
Abstract:
In this paper we present an approach of generating SystemC executable models from software designs captured in a new component-based modeling language, COLA, which follows the paradigm of synchronous data?ow. COLA has rigorous semantics and speci?cation mechanisms. Due to its well-founded semantics, it is possible to establish an integrated development process, the artifacts of which can be formally reasoned about and are dealt with in automated tools such as model checkers and code generators....    »
 
Jahr:
2008 
Monat:
Hinweise:
Dieses Paper wird im Rahmen der Proceedings folgender Konferenz veröffentlicht: WOSP'08, June 2008, Princeton, NJ, USA