SAT-based semiformal verification of hardware.
Sabih AgbariaDan CarmiOrly CohenDmitry KorchemnyMichael LifshitsAlexander NadelPublished in: FMCAD (2010)
Keyphrases
- bounded model checking
- hardware designs
- model checking
- formal verification
- low cost
- answer set programming
- hardware and software
- hardware implementation
- face verification
- computing power
- sat solvers
- real time
- asynchronous circuits
- ai planning
- massively parallel
- embedded systems
- computer systems
- formal methods
- state space
- version space
- image processing
- hardware architecture
- functional verification
- linear temporal logic
- computing systems
- constraint propagation
- answer sets