Travelled to:1 × USA
Collaborated with:J.Espinosa C.Hernández J.Abella J.C.Ruiz
Talks about:microcontrol (1) instruct (1) automot (1) analysi (1) robust (1) correl (1) verif (1) simul (1) set (1) rtl (1)
Person: David de Andrés
DBLP: Andr=eacute=s:David_de
Contributed to:
2015Wrote 1 papers:
- DAC-2015-EspinosaHAAR #analysis #correlation #robust #set #verification
- Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification (JE, CH, JA, DdA, JCR), p. 6.