skip to main content
10.1145/288548.288586acmconferencesArticle/Chapter ViewAbstractPublication PagesiccadConference Proceedingsconference-collections
Article
Free Access

Finding all simple disjunctive decompositions using irredundant sum-of-products forms

Published:01 November 1998Publication History
First page image

References

  1. 1.R. Ashenhurst. ~'The Decomposition of Switching Functions." In Proc. an International Symposium on the Theory of Swilchinq. pp. 74-116. Apr. 1957.Google ScholarGoogle Scholar
  2. 2.R. Brayton. G. I-l'achtel, C. McgIullen, and A. S.- Vincentelli. ":Logic Minimization Algorithms for VLSI Synthesis.'" Kluwer Academic Publishers. 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.R'. Bravton, R. Rudell, A. S.-Vincentelli. and A. Wang, "MIS: "3, klultiple-Level Logic Optimization System," IEEE Trans. on CAD. (;(6), pp. 1062-1081, Nov. 1987.Google ScholarGoogle Scholar
  4. 4.R.Bryant. "Graph-Based Algorithms for Boolean Function Manipulation." IEEE Trans. Comput., C-35(8), pp. 6~;7-691. Aug. 198(; Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.~.Bertacco. and M.Damiani. "The disjunctive Decomposition of Logic Functions," In Proc ICCAD'97, pp.78- 82. Nov. 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.Y. Lai. M. Pedram, and S. Vrudhula, "BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis." In Proc. DAC'93, pp. 642-647, June 19!)3. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7.S. Minato, "Fast Generation of Irredundant Sum-of- Products Forms from Binary Decision Diagrams," In Proc. Synthesis and simulation Meeting and International Interchange (SASI;}H'92), pp. 64-73, Apr. 1992.Google ScholarGoogle Scholar
  8. 8.S. Minato, "Fast Factorization Method for Implicit Cube Set Representation", IEEE Trans. on CAD, 15(4), pp.377-384. A~. 199.6. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.E. Morreale, "'Kecurslve Operators for Prime Implicant and Irredundant Normal Form Determination," IEEE Trans. Compul. C-19(6), pp. 504-509, June 1970.Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.3. Roth and R. Karp, "Minimization Over Boolean Graphs," IBM Journal pj~. 22%2.38. Anr. 1962.Google ScholarGoogle Scholar
  11. 11.T. S*asao, :FPGA Design 5y Generalized Functional Decomposition," In T. Sasao, editor, Logic Synthesis and Optimization, pp. 233-258, Kluwer Academic Publishers, 1993.Google ScholarGoogle Scholar
  12. 12.FI. Sawada, S. Yamashita, and A. Nagoya, "Restricted Simple Disjunctive Decompositions Based on Grouping Symmetric Variables," In Proc. Seventh Great La~'es Symposium on VLSI (GLSVLSI'97), pp. 39-44, Mar. 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Finding all simple disjunctive decompositions using irredundant sum-of-products forms

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          ICCAD '98: Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
          November 1998
          704 pages
          ISBN:1581130082
          DOI:10.1145/288548

          Copyright © 1998 ACM

          Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 November 1998

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • Article

          Acceptance Rates

          Overall Acceptance Rate457of1,762submissions,26%

          Upcoming Conference

          ICCAD '24
          IEEE/ACM International Conference on Computer-Aided Design
          October 27 - 31, 2024
          New York , NY , USA

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader