A Unified Framework for the Formal Verification of Sequential Circuits.
Olivier CoudertJean Christophe MadrePublished in: ICCAD (1990)
Keyphrases
- formal verification
- model checking
- model checker
- automated verification
- bounded model checking
- symbolic model checking
- high speed
- temporal logic
- analog circuits
- asynchronous circuits
- analog vlsi
- domain specific
- program slicing
- mathematical morphology
- digital circuits
- markov decision processes
- software development
- electronic circuits
- artificial intelligence
- functional verification