DocumentCode
2191287
Title
A HDL-independent modeling methodology for heterogeneous system designs
Author
Kajtazovic, Suad ; Steger, Christian ; Pistauer, Markus
Author_Institution
Inst. for Tech. Informatics, Graz Univ. of Technol., Austria
fYear
2005
fDate
22-23 Sept. 2005
Firstpage
88
Lastpage
93
Abstract
This paper introduces a description methodology to be used in heterogeneous, multi-HDL (hardware description language) system designs. Complex microelectronic embedded systems contain more and more concurrently designed subsystems, which are mostly coded in different HDLs to get best model performances. Verification of all subsystems in one environment represents a difficult task. This paper focuses on a HDL-independent description methodology, which enables a description of models coded in different HDLs using the same language semantic. Moreover, it supports a verification methodology for heterogeneous systems based on a cosimulation using standard EDA tools. The proposed description methodology has been applied on an application framework for heterogeneous system verification and later on evaluated by an example taken from the automotive industry.
Keywords
embedded systems; formal verification; hardware description languages; systems analysis; HDL-independent description methodology; automotive industry; cosimulation; hardware description language; heterogeneous system design; heterogeneous system verification; language semantic; microelectronic embedded system; Application software; Automotive engineering; Electronic design automation and methodology; Embedded system; Hardware design languages; Informatics; Lakes; Microelectronics; Optical design; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Behavioral Modeling and Simulation Workshop, 2005. BMAS 2005. Proceedings of the 2005 IEEE International
Print_ISBN
0-7803-9352-X
Type
conf
DOI
10.1109/BMAS.2005.1518193
Filename
1518193
Link To Document