Towards a Verification Technique for Large Synchronous Circuits.
Prabhat JainPrabhakar KudvaGanesh GopalakrishnanPublished in: CAV (1992)
Keyphrases
- asynchronous circuits
- high speed
- delay insensitive
- model checking
- verification method
- asynchronous communication
- high level synthesis
- analog vlsi
- face verification
- lateral inhibition
- vlsi circuits
- analog circuits
- formal verification
- real world
- low cost
- bayesian networks
- database systems
- case study
- information systems
- computer vision
- genetic algorithm