Post-reboot Equivalence and Compositional Verification of Hardware.
Zurab KhasidashviliMarcelo SkabaDaher KaissZiyad HannaPublished in: FMCAD (2006)
Keyphrases
- hardware designs
- low cost
- real time
- hardware and software
- model checking
- false acceptance
- asynchronous circuits
- data sets
- image processing
- computer systems
- verification method
- massively parallel
- graphics hardware
- database
- distributed systems
- software implementation
- formal verification
- signature verification
- processing capabilities
- field programmable gate array
- computing power
- computational power
- hardware implementation
- database systems
- data acquisition
- general purpose