A Boolean Paradigm in Multi-Valued Logic Synthesis.
Alan Mishchenko, Robert K. Brayton · 2002
Optimization algorithms used in binary multi-level logic synthesis, such as network simplification, logic extraction, and resubstitution, have been treated independently and did not share computational procedures. Using multi-valued logic synthesis, some common conceptual and computational cores underlying these algorithms can be identified. We present