Skip to main content
SpringerLink
Log in

Improvement of the algorithm principles for minimization of multi-output functions

  • Published:
Journal of Electronics (China)

Abstract

In this paper, the application of extraction principle for logic function minimization to multi-output case is studied. A defect in original algorithm in dealing with multi-output extrema is made up, and on this base, three kinds of less-than terms in different conditions are defined. In addition, three kinds of generalized definition of less-than terms are given, so as to find out more efficiently the covers with minimal number of terms and irredundant function outputs. This work makes the multi-output extraction principle closer to perfection. An algorithm based on the work is presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. K. Brayton et al., Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic publishers, Boston, 1984, chap. 4.

    MATH  Google Scholar 

  2. S. J. Hong, P. G. Cain, D. L. Ostapko,IBM J. Res. Develop.,18(1974)5, 443–458.

    Article  MATH  MathSciNet  Google Scholar 

  3. P. Agrawal, V. D. Agrawal, N. N. Biswas, Multiple Output Minimization, 22nd Design Automation Conference, Las Vegas, Nevada, 1985, pp. 674–680.

  4. D. W. Brown, A State-Machine Synthesizer-SMS, 18th Design Automation Conference, Nashville, Tenn. 1981, pp. 301–305.

  5. M. R. Dagenais, V. K. Agarwal, N. C. Rumin,IEEE Trans. on CAD,CAD-5(1986)1, 229–238.

    Google Scholar 

  6. J. P. Roth, Computer Logic, Testing and Verification, Computer Science Press, Inc., PPPotomac Maryland, (1980), pp. 1–32.

  7. S. J. Hong, S. Muroga,IEEE Trans. on C.,C-40(1991)1, 53–65.

    Article  MathSciNet  Google Scholar 

  8. S. R. Petrick, A Direct Determination of the Irredundant Forms of a Boolean Function from the Set of Prime Implicants, Air Force Cambridge Res. Center, Betford, MA, Tech. Rep., No AFCRC-TR-56-110, 1956.

    Google Scholar 

  9. Liu Mingyie, Li Jianyi,J. of Computer,6(1983)2, 136–145.

    Google Scholar 

  10. J. P. Roth, Algebraic Topological Methods in Synthesis,Annals of Computation Lab. of Harvard Univ.,29(1959), pp. 53–73.

    Google Scholar 

  11. Liu Mingyie, Computer-Aided Logic Design Theory, first ed. Science Publishing House, China, 1985, chap. 3.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tsinghua University, 100084, Beijing

    Chen Su & Xu Daorong

Authors
  1. Chen Su
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xu Daorong
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Su, C., Daorong, X. Improvement of the algorithm principles for minimization of multi-output functions. J. of Electron. (China) 10, 116–123 (1993). https://doi.org/10.1007/BF02684537

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02684537

Key words

Search

Navigation