Buffer minimization in pass transistor logic.

Hai Zhou Adnan Aziz

Published in: ISPD (2000)

Keyphrases

high speed
predicate logic
multi valued
objective function
logic programming
integrated circuit
proof theory
modal logic
classical logic
defeasible logic
computational properties
automated reasoning
buffer overflow
logical framework
data sets
operating system
database systems
neural network