• Artículo
      Icon

      A Virtual Device for Simulation-Based Fault Injection 

      Muñoz-Quijada, María; Sanz, Luis; Guzmán-Miranda, Hipólito (MDPI, 2020-11)
      This paper describes the design and implementation of a virtual device to perform simulation-based fault injection ...
    • Ponencia
      Icon

      Aplicaciones docentes del diseño de un pico-procesador 

      Jiménez Fernández, Carlos Jesús; Baena Oliva, María del Carmen; Parra Fernández, María del Pilar; Valencia Barrero, Manuel (Universidad de Sevilla, 2016)
      El conocimiento de la estructura interna y del mecanismo de funcionamiento de microprocesadores es una parte muy importante ...
    • Artículo
      Icon

      Fine-grain circuit hardening through VHDL datatype substitution 

      Muñoz-Quijada, María; Sánchez-Barea, Samuel; Vela-Calderón, Daniel; Guzmán-Miranda, Hipólito (MDPI AG, 2019-01)
      Radiation effects can induce, amongst other phenomena, logic errors in digital circuits and systems. These logic errors ...
    • Artículo
      Icon

      SW-VHDL Co-Verification Environment Using Open Source Tools 

      Muñoz-Quijada, María; Sanz, Luis; Guzmán-Miranda, Hipólito (MDPI, 2020-12)
      The verification of complex digital designs often involves the use of expensive simulators. The present paper proposes ...