Analysis and RTL Correlation of Instruction Set Simulators for Automotive Microcontroller Robustness Verification
Authors: Espinosa, Jaime / Hernández, Carles / Abella, Jaume / De Andres, David / Ruiz, Juan
Publication: Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE