3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
The standard procedure for hardware design consists of describing circuit in a hardware description language at logic level followed by extensive verification and logic-synthesis.…