DocumentCode
3043147
Title
The AutoSUN verification environment
Author
Grimm, Christoph ; Gravogl, Klaus ; Schupfer, Florian ; Neum, Ingmar
Author_Institution
Tech. Univ. Vienna, Vienna
fYear
2008
fDate
23-25 Sept. 2008
Firstpage
249
Lastpage
250
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location
Stuttgart
Print_ISBN
978-1-4244-2264-7
Type
conf
DOI
10.1109/FDL.2008.4641459
Filename
4641459
Link To Document