Coq and Hardware Verification: A Case Study.
Solange Coupet-GrimalLine JakubiecPublished in: TPHOLs (1996)
Keyphrases
- formal methods
- hardware designs
- low cost
- real time
- model checking
- hardware and software
- case study
- hardware implementation
- face verification
- test bed
- computing power
- database
- asynchronous circuits
- image processing
- theorem prover
- massively parallel
- data sets
- formal analysis
- formal verification
- hardware architecture
- parallel hardware
- computing systems
- artificial intelligence
- temporal logic
- processing capabilities
- signature verification
- learning algorithm