Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification.

Jaime Espinosa, Carles Hernndez, Jaume Abella, David de Andrs, Juan-Carlos Ruiz-Garcia

Browse the full DAC paper archive.