Hardware Verification Using Co-induction in COQ.
Solange Coupet-GrimalLine JakubiecPublished in: TPHOLs (1999)
Keyphrases
- formal methods
- hardware designs
- low cost
- hardware and software
- model checking
- real time
- vlsi implementation
- verification method
- computing power
- face verification
- computing systems
- data sets
- subgroup discovery
- theorem prover
- machine learning
- computer systems
- inductive learning
- neural network
- program synthesis
- high end
- formal verification
- embedded systems
- rule induction
- massively parallel
- inductive logic programming
- signature verification
- single chip
- hardware architecture
- software implementation
- software engineering
- asynchronous circuits
- explanation based learning
- computational power
- hardware description language
- integrated circuit