BOOM - A Heuristic Boolean Minimizer
Keywords:
Boolean minimization, logic functions, sparse functions, implicant expansion, group minimization, covering problem solution, mutationsAbstract
This paper presents an algorithm for two-level Boolean minimization (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are generated bottom-up, the proposed method uses a top-down approach. Thus, instead of increasing the dimensionality of implicants by omitting literals from their terms, the dimension of a term is gradually decreased by adding new literals. The method is advantageous especially for functions with many input variables (up to thousands) and with only few care terms defined, where other minimization tools are not applicable because of the long runtime. The method has been tested on several different kinds of problems and the results were compared with ESPRESSO.Downloads
Download data is not yet available.
Downloads
How to Cite
Fišer, P., & Hlavička, J. (2012). BOOM - A Heuristic Boolean Minimizer. Computing and Informatics, 22(1), 19–51. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/450
Issue
Section
Articles