1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.SE2022★ 1 cited
MetFI: Model-driven Fault Simulation Framework
Endri Kaja, Nicolas Gerlin, Luis Rivas +3
Safety-critical designs need to ensure reliable operations under hostile conditions with a certain degree of confidence. The continuously higher complexity of these designs makes t…
cs.LO2019
Symbolic QED Pre-silicon Verification for Automotive Microcontroller Cores: Industrial Case Study
Eshan Singh, Keerthikumara Devarajegowda, Sebastian Simon +8
We present an industrial case study that demonstrates the practicality and effectiveness of Symbolic Quick Error Detection (Symbolic QED) in detecting logic design flaws (logic bug…