216 citations · 360 across the 15 of their papers we have counts for
1 paper · 1 filter
Rolf Drechsler
Only by formal verification approaches functional correctness can be ensured. While for many circuits fast verification is possible, in other cases the approaches fail. In general…