Pass-XNOR logic: A new logic style for P-N junction based graphene circuits.

Valerio Tenace Andrea Calimera Enrico Macii Massimo Poncino

Published in: DATE (2014)

Keyphrases

asynchronous circuits
digital circuits
logic programming
logic synthesis
delay insensitive
logical framework
multi valued
chip design
defeasible logic
automated reasoning
modal logic
classical logic
set theory
formal theory
epistemic logic
linear logic
proof theory
website
sound and complete axiomatization