Emitter-couple logic circuit design based on the threshold-arithmetic algebraic system.
Maoqun YaoLi-bin ZhangPublished 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