Formal hardware verification by integrating HOL and MDG.
V. K. PisiniSofiène TaharPaul CurzonOtmane Aït MohamedXiaoyu SongPublished in: ACM Great Lakes Symposium on VLSI (2000)
Keyphrases
- formal methods
- model checking
- formal analysis
- model checker
- low cost
- hardware designs
- hardware and software
- formal specification
- real time
- knowledge based systems
- hardware implementation
- artificial intelligence
- computer systems
- software engineering
- temporal logic
- wireless sensor networks
- formal verification
- field programmable gate array
- face verification
- embedded systems
- computing power
- theorem prover
- digital circuits
- image processing
- vlsi implementation
- asynchronous circuits
- natural deduction
- parallel hardware