Title :
The AutoSUN verification environment
Author :
Grimm, Christoph ; Gravogl, Klaus ; Schupfer, Florian ; Neum, Ingmar
Author_Institution :
Tech. Univ. Vienna, Vienna
Abstract :
This paper describes a verification methodology and verification environment for analog/mixed-signal systems. The methodology structures verification into three steps and systematically leads to test benches. The verification environment consists of SystemC classes that support the offline analysis and regression test of typical properties of automotive systems.
Keywords :
formal verification; mixed analogue-digital integrated circuits; AutoSUN verification environment; SystemC; analog-mixed-signal systems; automotive systems; offline analysis; Aging; Analytical models; Automotive engineering; Control systems; Formal verification; Gold; Radio frequency; Sociotechnical systems; System testing; Working environment noise;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641459
