VLSI design and verification methodologies for automotive embedded systems

This paper presents the verification process performed during the development of an automotive platform suited to interface a generic sensor. The platform aims to reduce the cost of the analog circuitry needed to interface the sensor, by massive usage of digital electronic, and by addressing a wide class of automotive applications based on sensor signal elaboration. Particularly, all the verification steps from identification of the right level of abstraction and hierarchy, platform hardware-software co-simulation and prototype hardware emulation are described.