Using an induction prover for verifying arithmetic circuits.
Deepak KapurMahadevan SubramaniamPublished in: Int. J. Softw. Tools Technol. Transf. (2000)
Keyphrases
- proof search
- theorem prover
- constructive induction
- model checking
- theorem proving
- asynchronous circuits
- arithmetic operations
- delay insensitive
- inductive learning
- linear logic
- version space
- subgroup discovery
- rule induction
- floating point
- inductive inference
- inference rules
- inductive logic programming
- high speed
- analog vlsi
- database
- quantum computing
- chip design
- logic circuits
- tunnel diode
- oblique decision trees
- digital circuits
- concept formation
- circuit design
- concept learning
- case study
- machine learning
- neural network
- data sets