Detection Algorithm for Logic Functions to Benefit from Dual Logic Implementation

This paper presents an algorithm to detect whether logic functions is beneficial from implementing by dual logic.The proposed algorithm is based on the characteristics of XOR logic,that is,two minimum-terms having Hamming distance2can be expressed by XOR operation.With calculating the Hamming distance between two minimum-terms and analyzing the logic mode of functions,a detection condition was developed.The proposed algorithm has been implemented in C and tested on MCNC benchmarks.The experimental results show that the proposed algorithm is efficient.