• DocumentCode
    1619916
  • Title

    Improvements to an algorithm for the minimization of generalized Boolean functions

  • Author

    Caruso, Glusoppe

  • Author_Institution
    Dipartimento di Ingegneria Elettrica, Palermo Univ., Italy
  • fYear
    1992
  • Firstpage
    552
  • Abstract
    Discusses improvements to the algorithm for the minimization of generalized Boolean functions (see IEEE Proc. E. Comput. Digit Tech., vol.135, p.108-116, 1988). This algorithm employs a local covering technique already used in an algorithm given by the author (see IEEE Trans. Comput., vol.33, p.91-97, 1984) for the minimization of single-output Boolean functions. Besides yielding better solutions, the improved algorithm preserves some important features of the algorithm given in 1984. Results of a comparison with the program ESPRESSO-IIC are presented
  • Keywords
    Boolean functions; electronic engineering computing; minimisation of switching nets; ESPRESSO-IIC; generalized Boolean functions; local covering technique; Boolean functions; Minimization methods; Yield estimation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
  • Conference_Location
    Washington, DC
  • Print_ISBN
    0-7803-0510-8
  • Type

    conf

  • DOI
    10.1109/MWSCAS.1992.271264
  • Filename
    271264
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1619916