BDD based detection algorithm for XOR-type logic

Abstract

Based on the characteristics study of binary decision diagrams (BDDs) of logic functions, a method using the characteristic triangle (CT) to detect logic functions suitable for XOR logic implementation is presented and a corresponding algorithm is developed. 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.