activity
20182022
most citedA Framework for Formal Verification of DRAM Controllers

5 citations · 5 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…