Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification | Publicación