Search Results - "Gerlin, Nicolas"

Towards Fault Simulation at Mixed Register-Transfer/Gate-Level Models by Kaja, Endri, Gerlin, Nicolas, Vaddeboina, Mounika, Rivas, Luis, Prebeck, Sebastian, Han, Zhao, Devarajegowda, Keerthikumara, Ecker, Wolfgang

“…Safety-critical designs used in automotive applications need to ensure reliable operations even under hostile operating conditions. As these designs grow in…”
Get full text

Special Session: A Mixed Simulation-, Emulation-, and Formal-Based Fault Analysis Methodology for RISC-V by Kaja, Endri, Gerlin, Nicolas, Tahiraga, Ares, Al Halabi, Jad, Prebeck, Sebastian, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…As the semiconductor industry rapidly expands, there is a need for new development methods, especially in the domain of safety-critical designs. The ISO 26262…”
Get full text

An Automated and Effective Approach for SBST Generation Targeting RISC-V CPUs by Kaja, Endri, Gerlin, Nicolas, Halabi, Jad Al, Tahiraga, Ares, Prebeck, Sebastian, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…The trend toward scaling and more complex fabrication techniques in digital circuit design often leads to numerous faults within Integrated Circuits (ICs). To…”
Get full text

MetaFS: Model-driven Fault Simulation Framework by Kaja, Endri, Gerlin, Nicolas, Bora, Monideep, Devarajegowda, Keerthikumara, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…The adoption of new technologies by the automotive industry drives the need for electronic component suppliers to assess and scrutinize the risk of…”
Get full text

Design of a Tightly-Coupled RISC-V Physical Memory Protection Unit for Online Error Detection by Gerlin, Nicolas, Kaja, Endri, Bora, Monideep, Devarajegowda, Keerthikumara, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…While semiconductors are becoming more efficient generation after generation, the continuous technology scaling leads to numerous reliability issues due,…”
Get full text

Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation by Kaja, Endri, Gerlin, Nicolas, Bora, Monideep, Rutsch, Gabriel, Devarajegowda, Keerthikumara, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…Safety-critical designs need to ensure reliable operations even under a hostile working environment with a certain degree of confidence. Continuous technology…”
Get full text

MetFI: Model-driven Fault Simulation Framework by Kaja, Endri, Gerlin, Nicolas, Rivas, Luis, Bora, Monideep, Devarajegowda, Keerthikumara, Ecker, Wolfgang

“…Safety-critical designs need to ensure reliable operations under hostile conditions with a certain degree of confidence. The continuously higher complexity of…”
Get full text

An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods by Kaja, Endri, Gerlin, Nicolas, Zhao, Bihan, Lopera, Daniela Sanchez, Halabi, Jad Al, Khan, Azam Sher, Prebeck, Sebastian, Stoffel, Dominik, Kunz, Wolfgang, Ecker, Wolfgang

“…As digital designs become increasingly complex, it is essential to have reliable and automated safety verification techniques. To mitigate the negative impact…”
Get full text

Bits, Flips and RISCs by Gerlin, Nicolas, Kaja, Endri, Vargas, Fabian, Lu, Li, Breitenreiter, Anselm, Chen, Junchao, Ulbricht, Markus, Gomez, Maribel, Tahiraga, Ares, Prebeck, Sebastian, Jentzsch, Eyck, Krstic, Milos, Ecker, Wolfgang

“…Electronic systems can be submitted to hostile environments leading to bit-flips or stuck-at faults and, ultimately, a system malfunction or failure. In…”
Get full text