Performance Driven Synthesis for Pass-Transistor Logic.
Tai-Hung LiuMalay K. GanaiAdnan AzizJeffrey L. BurnsPublished in: VLSI Design (1999)
Keyphrases
- logic synthesis
- logic programming
- high speed
- integrated circuit
- data driven
- program synthesis
- modal logic
- multi valued
- functional programs
- low power
- steady state
- knowledge base
- neural network
- automated reasoning
- real time
- probabilistic logic
- classical logic
- circuit design
- defeasible logic
- set theory
- epistemic logic
- natural deduction
- proof theory