VeriCoq: A Verilog-to-Coq converter for proof-carrying hardware automation.
Mohammad-Mahdi BidmeshkiYiorgos MakrisPublished in: ISCAS (2015)
Keyphrases
- theorem prover
- hardware designs
- hardware description language
- data conversion
- hardware and software
- formal methods
- real time
- low cost
- vlsi implementation
- hardware architecture
- hardware implementation
- theorem proving
- programmable logic
- control program
- linear logic
- high voltage
- transfer function
- computing power
- integrated circuit
- control method
- computing systems
- model based diagnosis
- image processing
- artificial intelligence