Research on Technology of Mini-terms Optimization for Logic Function

A logic optimization algorithm of logic function based on mini-terms is presented. It can find the implement covering by computing on-sets covering and generate the implicants which can cover the on-sets without computing prime implicants. It can reduce the spending memory. We designed and realized a software system on Boolean function logic optimization with max-input variables 128, max-output variables 256 and max products 20000. It overpasses the test of benchmark. By analyzing the tested data randomly, it shows that it is much more effective for multi-outputs logic functions on a large scale than the other common algorithms. But the efficiency of logic optimization is not evident for the circuit with single output or input variables which present with small probability.