Sign in
Reduced Reconfigurable Logic Circuit Design Based on Double Gate CNTFETs Using Ambipolar Binary Decision Diagram.
Hiroshi Ninomiya
Manabu Kobayashi
Shigeyoshi Watanabe
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2013)
Keyphrases
</>
circuit design
binary decision diagrams
digital circuits
floating gate
decision diagrams
boolean functions
design automation
logic programming
pseudo boolean constraints
planning problems
low cost
general purpose
model checking
database
automated reasoning