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
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;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010
Conference_Location :
Dresden
Print_ISBN :
978-1-4244-7054-9
DOI :
10.1109/DATE.2010.5456985