Dual logic and its application in logic minimization

Based on the logic detection technique, a cover of a logic function is divided into two sections. One is for Boolean logic implementation and the other is for Reed-Muller logic implementation. Comparing to these minimization methods which using either Boolean logic or Reed-Muller logic only, the proposed method using dual logic produces less products. The proposed minimization method is implemented in C and tested on MCNC benchmarks.