3 citations · 3 across the 1 of their papers we have counts for
1 paper
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.…