The AutoSUN verification environment

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.