This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Two-Level Minimization of Multivalued Functions with Large Offsets
November 1993 (vol. 42 no. 11)
pp. 1325-1342

Extends the theory of reduced offsets to logic functions with multivalued inputs. The authors show that the use of multivalued reduced offsets provides the same flexibility that is available with the use of the offset. Offset-based minimization of multivalued functions with large offsets often takes long computation time and requires very large memory and sometimes is not possible within reasonable time and memory. Such functions can be minimized effectively using reduced offsets.

[1] D. W. Brown, "A state-machine synthesizer--SMS," inProc. 18th Design Automation Conf., pp. 301-304, Nashville, June 1981.
[2] R. Brayton, G. Hachtel, C. McMullen, and A. Sangio-Vincentelli,Logic Minimization Algorithms for VLSI Synthesis. Boston, MA: Kluwer Academic, 1984.
[3] S. J. Hong, R. G. Cain, and D. L. Ostapko, "MINI: A heuristic approach for logic minimization,"IBM J. Res. Dev., vol. 18, pp. 443-458, Sept. 1974.
[4] A. A. Malik, R. Brayton, A. R. Newton, and A. Sangiovanni-Vincentelli, "A modified approach to two-level minimization," inProc. Int. Conf. Computer-Aided Design, Santa Clara, CA, Nov. 1988, pp. 106-109.
[5] A. A. Malik, R. Brayton, A. R. Newton, and A. Sangiovanni-Vincentelli, "Reduced offsets for minimization of binary-valued functions,"IEEE Trans. Computer-Aided Design, vol. 10, pp. 413-426, Apr. 1991.
[6] T. Sasao, "An application of multiple-valued logic to a design of programmable logic arrays," inProc. 8th Int. Symp. Multiple Valued Logic, 1978.
[7] R. L. Rudell, "Multiple-valued logic minimization for PLA/synthesis," Electron. Res. Lab., College of Engineering, Univ. of California, Berkeley, Tech. Rep. M86/65, 1986.
[8] G. De Micheliet al., "Optimal state assignment for finite state machines,"IEEE Trans. Comput.-Aided Design, vol. CAD-4, pp. 269-285, July 1985.
[9] A. A. Malik, "Optimization of primitive gate networks using multiple output two-level minimization," inProc. 29th Design Automation Conf., Anaheim, CA, June 1992, pp. 106-109.

Index Terms:
two-level minimization; multivalued functions; large offsets; reduced offsets; logic functions; multivalued reduced offsets; logic design; many-valued logics; minimisation of switching nets.
Citation:
A.A. Malik, R.K. Brayton, A.R. Newton, A.L. Sangiovanni-Vincentelli, "Two-Level Minimization of Multivalued Functions with Large Offsets," IEEE Transactions on Computers, vol. 42, no. 11, pp. 1325-1342, Nov. 1993, doi:10.1109/12.247837
Usage of this product signifies your acceptance of the Terms of Use.