Bolstering Faith in GasP Circuits through Formal Verification.
Xiaohua KongRadu NegulescuPublished in: ASYNC (2004)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- high speed
- analog circuits
- program slicing
- tunnel diode
- delay insensitive
- analog vlsi
- circuit design
- functional verification
- asynchronous circuits
- electronic circuits
- artificial intelligence
- digital circuits
- software engineering