Keyphrases
- high speed
- data sets
- analog circuits
- theorem prover
- real valued
- theorem proving
- boolean functions
- learning algorithm
- database
- digital circuits
- vlsi circuits
- linear logic
- boolean logic
- neural network
- truth table
- mathematical proofs
- high level synthesis
- analog vlsi
- natural deduction
- low cost
- boolean queries
- inference rules
- e learning
- case study