Emitter-couple logic circuit design based on the threshold-arithmetic algebraic system.

Maoqun Yao Li-bin Zhang

Published in: J. Zhejiang Univ. Sci. C (2013)

Keyphrases

circuit design
digital circuits
design automation
algebraic structure
computer algebra
micron cmos
multi valued

floating gate
logic programming
classical logic
automated reasoning
interval arithmetic
quantifier free
sound and complete axiomatization

arithmetic operations
epistemic logic
threshold selection
multiple valued
predicate logic
proof theory
bayesian networks

mathematical theory
defeasible logic
computational properties
roc curve
modal logic
higher order