Algebraic operations were developed for binary logic synthesis and extended later to apply to multi-valued (MV) logic. Operations in the MV domain were considered more complex and slower. This paper shows that MV algebraic operations are essentially as easy as binary ones, with only a slight overhead (linear in the size of the expression) in transformation into and out of the binary domain. By introducing co-singleton sets as a new basis, any MV sum-of-products expression can be rewritten and passed to a binary logic synthesizer for fast execution; the optimized results can be directly interpreted in the MV domain. This process, called EBD, reduces MV algebraic operations, to binary. A pure MV operation differs mainly from its corresponding EBD one in that the former possesses "semi-algebraic" generality, which has not been implemented for the binary logic. Experiments show that the proposed methods are significantly faster, with little or no loss in quality when run in comparable scripts of sequences of logic synthesis operations.
[1]
Robert K. Brayton,et al.
MIS-MV: optimization of multi-level logic with multiple-values inputs
,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[2]
Srinivas Devadas,et al.
Exact algorithms for output encoding, state assignment, and four-level Boolean minimization
,
1991,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[3]
Robert K. Brayton,et al.
Logic Minimization Algorithms for VLSI Synthesis
,
1984,
The Kluwer International Series in Engineering and Computer Science.
[4]
Tiziano Villa,et al.
Multi-valued decision diagrams: theory and applications
,
1998
.
[5]
Robert K. Brayton,et al.
A modified approach to two-level logic minimization
,
1988,
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.