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
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;
Conference_Titel :
Behavioral Modeling and Simulation Workshop, 2005. BMAS 2005. Proceedings of the 2005 IEEE International
Print_ISBN :
0-7803-9352-X
DOI :
10.1109/BMAS.2005.1518193