This paper describes a fast and efficient method for minimization of two level single output Boolean functions.The minimization problem is reduced to that of coloring of the graph of incompatibility of implicanm.The program permits also to remove static hazards and allows inversion of output's polarity which proves to be very convenient when designing with PAL's, It gives solutions within a very reasonable amount of time.On small industrial examples its speed is slightly better than Espresso and it occupies 6 times less memory.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.