Keyphrases
- digital circuits
- delay insensitive
- logic synthesis
- logic circuits
- chip design
- logic programming
- random access memory
- software testing
- multi valued
- proof theory
- asynchronous circuits
- circuit design
- test cases
- high speed
- micron cmos
- analog vlsi
- test data
- analog circuits
- low voltage
- defeasible logic
- truth table
- database
- classical logic
- automated reasoning
- low power
- steady state
- evolutionary algorithm