Chen Xie-xiong

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.

Logic detection algorithm for dual logic implementations based on majority cubes

Based on the disjointed cubes of the logic functions, a method by searching majority cubes and Hamming distance to detect logic functions suitable for XOR logic implementation is presented. Some special covers of functions which meet the majority cubes will be expressed as a m-dimension cube and other offset cubes. After majority cubes searching, another logic detection method with hamming distance is used to incorporate those products whose hamming distances are 1 or 2. 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 results.

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.