A Unified Approach for Combining Different Formalisms for Hardware Verification.
Klaus SchneiderThomas KropfPublished in: FMCAD (1996)
Keyphrases
- low cost
- hardware and software
- real time
- hardware designs
- hardware architecture
- computing power
- massively parallel
- model checking
- logic programming
- computer systems
- embedded systems
- hardware implementation
- computing systems
- wireless sensor networks
- image processing
- graphics hardware
- machine learning
- verification method
- database