BDD-based synthesis for mixed CMOS/PTL logic.
Chi-Chou KaoPublished in: Int. J. Circuit Theory Appl. (2011)
Keyphrases
- delay insensitive
- logic synthesis
- random access memory
- power consumption
- binary decision diagrams
- low cost
- chip design
- modal logic
- propositional logic
- functional programs
- predicate logic
- automated reasoning
- program synthesis
- belief revision
- logic programming
- multi valued
- logical framework
- computational properties
- texture synthesis
- high speed
- low power
- power supply
- analog vlsi
- vlsi circuits
- real time