Options
2009
Conference Paper
Titel
Case study of high-level verification of an automotive Window lifter ECU
Abstract
This paper gives an overview of model-based high-level validation of a typical automotive ECU (Electronic Control Unit). SystemC and SystemC-AMS are applied to perform verification tasks of the complete system, in its operating environment. Various abstraction elements and modeling formalisms build a flexible and performing framework for simulation-based verification of heterogeneous systems. This is reflected in results on the casestudy, thus providing perspectives for industrial design flows to integrate these emerging standards and tools.
Author(s)
Konferenz

Language
English
Tags