Jaime Espinosa, Carles Hernández, Jaume Abella, David de Andrés, Juan Carlos Ruiz. Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 40, ACM, 2015. [doi]
Abstract is missing.