Area-oriented synthesis for pass-transistor logic.
Rajat ChaudhryTai-Hung LiuAdnan AzizJeffrey L. BurnsPublished in: ICCD (1998)
Keyphrases
- logic synthesis
- high speed
- functional programs
- low power
- integrated circuit
- logic programming
- logic circuits
- predicate logic
- multi valued
- sound and complete axiomatization
- computational properties
- classical logic
- automated reasoning
- nonmonotonic logics
- information systems
- delay insensitive
- texture synthesis
- search algorithm
- multi agent