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
DAC, 2015.
@inproceedings{DAC-2015-EspinosaHAAR,
author = "Jaime Espinosa and Carles Hernández and Jaume Abella and David de Andrés and Juan Carlos Ruiz",
booktitle = "{Proceedings of the 52nd Annual Design Automation Conference}",
doi = "10.1145/2744769.2744798",
isbn = "978-1-4503-3520-1",
pages = "6",
publisher = "{ACM}",
title = "{Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification}",
year = 2015,
}