Jaime Espinosa

Publication Activity (10 Years)

Years Active: 1997-2016
Publications (10 Years): 1

Top Topics

Instruction Set

Model Based Reasoning

Hardware Implementation

Top Venues

Publications

Jaime Espinosa, Carles Hernández, Jaume Abella
Modeling RTL fault models behavior to increase the confidence on TSIM-based fault injection. IOLTS (2016)
Jaime Espinosa, Carles Hernández, Jaume Abella, David de Andrés, Juan-Carlos Ruiz-Garcia
Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification. DAC (2015)
Jaime Espinosa, David de Andrés, Pedro J. Gil
Increasing the Dependability of VLSI Systems through Early Detection of Fugacious Faults. EDCC (2015)
Jaime Espinosa, Carles Hernández, Jaume Abella
Characterizing fault propagation in safety-critical processor designs. IOLTS (2015)
Jaime Espinosa, David de Andrés, Juan-Carlos Ruiz-Garcia, Pedro J. Gil
The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs. EWDC (2013)
Jaime Espinosa, David de Andrés, Juan Carlos Ruiz, Pedro J. Gil
Tolerating multiple faults with proximate manifestations in FPGA-based critical designs for harsh environments. FPL (2012)
Jaime Espinosa, José A. Pino, Patricia Pollard
On the development of a SISCO implementation using Java. CRIWG (1997)