Keyphrases
- logic synthesis
- delay insensitive
- asynchronous circuits
- digital circuits
- logic circuits
- chip design
- random access memory
- multi valued
- low power
- analog circuits
- floating gate
- ranked list
- modal logic
- classical logic
- high speed
- neural network
- flip flops
- positive semidefinite matrices
- proof theory
- logic programming
- logical framework
- automated reasoning
- artificial intelligence
- genetic algorithm
- shift register
- real time
- built in self test