Keyphrases
- logic synthesis
- delay insensitive
- asynchronous circuits
- digital circuits
- logic circuits
- chip design
- high speed
- modal logic
- floating gate
- scan data
- multi valued
- low power
- flip flops
- set theory
- automated reasoning
- logic programming
- low cost
- sound and complete axiomatization
- analog circuits
- fault models
- random access memory
- proof theory
- dynamic logic
- real time
- logical framework
- knowledge representation
- information systems