Skip to main content

Minimization of permuted Reed-Muller Trees for cellular logic programmable Gate arrays

  • Conference paper
  • First Online:
Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping (FPL 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 705))

Included in the following conference series:

Abstract

The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path architectures. However, introduced by it new universal logic cell calls also for new logic synthesis methods based on regularity of connections. In this paper we present two programs, exact and approximate, for the minimization of Permuted Reed-Muller Trees that are obtained by repetitive application of Davio expansions (Shannon expansions for EXOR gates) in all possible orders of variables in subtrees. Such trees are particularly well matched to both the realization of logic cell and connection structure of the CLI6000 device. It is shown on several standard benchmarks that the heuristic algorithm gives good quality results in much less time than the exact algorithm.

This research was partially supported by the NSP grant MIP-9110772

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ph.V. Besslich, Proc. Euro ASIC'91, Paris, 1991.

    Google Scholar 

  2. Concurrent Logic Inc., “CLI6000 Series Field Programmable Gate Arrays”, Preliminary Information. Dec. 1, 1991, Rev. 1.3.

    Google Scholar 

  3. P. Davio, et al, Discrete and Switching Functions. George and McGraw-Hill, New York, 1978.

    Google Scholar 

  4. B.J. Falkowski, I. Schaefer, and M.A. Perkowski, “Effective Computer Methods for the Calculation of Hadamard-Walsh Spectrum for Completely and Incompletely Specified Boolean Functions,” Accepted to IEEE Trans, on CAD., 1991.

    Google Scholar 

  5. H. Fujiwara, Logic Testing and Design for Testability, Computer System Series, The MIT Press, 1986.

    Google Scholar 

  6. D. Green, Int. J. Electr., Vol. 70, No. 2, pp. 259–280, Jan. 91.

    Google Scholar 

  7. M. Helliwell, and M.A. Perkowski, Proc. of 25th DAC 1988, pp. 427–432.

    Google Scholar 

  8. S.L. Hurst, The Logical Processing of Digital Signals, Crane-Russak, New York, 1978.

    Google Scholar 

  9. D.E. Muller, IRE Trans. Electron. Comp., Vol EC-3, pp. 6–12, Sept 1954.

    Google Scholar 

  10. M.A. Perkowski, P. Dysko, and B.J. Falkowski, Proc. IEEE Int. Phoenix Conf. on Comp. and Comm., Scottsdale, AZ, pp. 606–613, March 1990.

    Google Scholar 

  11. M.A. Perkowski, Proc. of 22-nd ISMVL, pp. 442–450, Sendai, Japan, May 27–29, 1992.

    Google Scholar 

  12. M.A. Perkowski, and A. Shahjahan, “Efficient Rectangle Factorization Algorithm for ESOP Circuits”, PSU Report, Dec. 1991.

    Google Scholar 

  13. A. Sarabi, and M.A. Perkowski, pp. 30–35, Proc. DAC'92, June 1992.

    Google Scholar 

  14. J.M. Saul, Proc. IEEE ICCD'91, Sept 17–19, 191, pp. 634–637.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Herbert Grünbacher Reiner W. Hartenstein

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wu, LF., Perkowski, M.A. (1993). Minimization of permuted Reed-Muller Trees for cellular logic programmable Gate arrays. In: Grünbacher, H., Hartenstein, R.W. (eds) Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping. FPL 1992. Lecture Notes in Computer Science, vol 705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57091-8_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-57091-8_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57091-2

  • Online ISBN: 978-3-540-47902-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics