DocumentCode :
2255032
Title :
Towards assertion-based verification of heterogeneous system designs
Author :
Lammermann, Stefan ; Ruf, Jurgen ; Kropf, Thomas ; Rosenstiel, Wolfgang ; Viehl, Alexander ; Jesser, Alexander ; Hedrich, Lars
Author_Institution :
Dept. of Comput. Eng., Univ. of Tuebingen, Tubingen, Germany
fYear :
2010
fDate :
8-12 March 2010
Firstpage :
1171
Lastpage :
1176
Abstract :
In this paper a comprehensive assertion-based verification methodology for the digital, analog and software domain of heterogeneous systems is presented. The proposed methodology combines a novel mixed-signal assertion language and the corresponding automatic verification algorithm. The algorithm translates the heterogeneous temporal properties into observer automata for a semi-formal verification. This enables automatic verification of complex heterogeneous properties that can not be verified by existing approaches. The experimental results show the integration of mixed-signal assertions into a simulation environment and demonstrate the broad applicability and the high value of the evolved solution.
Keywords :
automata theory; formal verification; assertion based verification; automatic verification algorithm; comprehensive assertion based Alexander verification methodology; heterogeneous system design; heterogeneous temporal property; mixed signal assertion; mixed signal assertion language; observer automata; semi formal verification; Automata; Central Processing Unit; Computerized monitoring; Design engineering; Digital systems; Formal specifications; Frequency synthesizers; Logic; Microprogramming; Temperature sensors;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010
Conference_Location :
Dresden
ISSN :
1530-1591
Print_ISBN :
978-1-4244-7054-9
Type :
conf
DOI :
10.1109/DATE.2010.5456985
Filename :
5456985
Link To Document :
بازگشت