Buffer minimization in pass transistor logic.

Hai Zhou Adnan Aziz

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2001)

Keyphrases

high speed
predicate logic
logic programming
integrated circuit
real time
data sets
classical logic
database
modal logic
defeasible logic
epistemic logic
asynchronous circuits
logical framework
floating gate
sound and complete axiomatization