Detection and decomposition algorithm for dual logic implementations

Based on the disjointed cubes of the logic functions, a method using hamming distance to detect logic functions suitable for Reed-Muller(RM) logic implementation is presented. And the original covers of the logic functions are decomposed into two parts. One is suitable for RM logic implementation and the other is suitable for Boolean logic implementation. The proposed algorithm is implemented in C and tested on MCNC benchmarks. The experimental results show that the proposed algorithm is efficient compared with published methods.