Symbolic minimization of multilevel logic and the input encodingproblem
Malik, S.
Lavagno, L.
Brayton, R.K.
Sangiovanni-Vincentelli, A.
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA;
Abstract
Techniques for the optimization of multilevel logic with
multiple-valued input variable is presented. The motivation for this is
to tackle the input encoding problem in logic synthesis, where binary
codes must be found for the different values that a symbolic input
variable can take. It is shown how the other multilevel optimization
techniques are easily extended with multiple-valued variables. These
ideas have been implemented as algorithms in the program MIS-MV. The
practical issues involved in the implementation of these ideas are
discussed, and results of using MIS-MV for input encoding on benchmark
examples presented
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
