Mechanized Verification of Circuit Descriptions Using the Larch Prover.
Jørgen StaunstrupStephen J. GarlandJohn V. GuttagPublished in: TPCD (1992)
Keyphrases
- model checking
- asynchronous circuits
- theorem proving
- theorem prover
- high level
- functional verification
- high speed
- digital circuits
- face verification
- signature verification
- false acceptance
- logic circuits
- low cost
- formal methods
- parallel processing
- single phase
- electronic circuits
- natural language descriptions
- delay insensitive
- analog vlsi
- evolutionary algorithm