Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- logic circuits
- asynchronous circuits
- chip design
- multi valued
- random access memory
- modal logic
- logic programming
- classical logic
- predicate logic
- high speed
- data sets
- shift register
- sound and complete axiomatization
- tunnel diode
- deontic logic
- computational properties
- logical framework
- probability theory
- expressive power
- information systems