Title :
Improvements to an algorithm for the minimization of generalized Boolean functions
Author :
Caruso, Glusoppe
Author_Institution :
Dipartimento di Ingegneria Elettrica, Palermo Univ., Italy
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;
Conference_Titel :
Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-0510-8
DOI :
10.1109/MWSCAS.1992.271264
