Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- asynchronous circuits
- logic circuits
- chip design
- affine transformation
- multimedia
- floating gate
- quantum computing
- multi valued
- logical framework
- fault models
- analog circuits
- proof theory
- neural network
- built in self test
- predicate logic
- classical logic
- modal logic
- computational properties
- power reduction
- automated reasoning
- moment invariants
- logic programming
- high speed
- truth table
- image sequences