1 citations · 1 across the 1 of their papers we have counts for
1 paper
Eshan Singh, David Lin, Clark Barrett +1
We present Symbolic Quick Error Detection (Symbolic QED), a structured approach for logic bug detection and localization which can be used both during pre-silicon design verificati…