Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- asynchronous circuits
- logic circuits
- chip design
- high speed
- positive semidefinite matrices
- classical logic
- multi valued
- logic programming
- low power
- quantum computing
- modal logic
- fault models
- random access memory
- database
- truth table
- data sets
- vlsi circuits
- genetic algorithm
- learning algorithm
- knowledge base
- power dissipation
- defeasible logic
- ranked list