Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- genetic algorithm
- circuit design
- high speed
- linkage analysis
- asynchronous circuits
- analog vlsi
- analog circuits
- digital circuits
- temporal logic
- logic circuits
- first order logic
- functional verification