User: Guest  Login
Author(s):
Wang, Zhonglei; Haberl, Wolfgang; Kugele, Stefan; Tautschnig, Michael 
Title:
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....    »
 
Year:
2008 
Month:
Notes:
Dieses Paper wird im Rahmen der Proceedings folgender Konferenz veröffentlicht: WOSP'08, June 2008, Princeton, NJ, USA