Title :
BDD based detection algorithm for XOR-type logic
Author :
Sun, Fei ; Xia, Yinshui
Author_Institution :
Inst. of Circuits & Syst., Ningbo Univ., Ningbo
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.
Keywords :
binary decision diagrams; logic gates; BDD based detection algorithm; XOR-type logic; binary decision diagrams; characteristic triangle; logic function detection; Binary decision diagrams; Boolean functions; Circuits and systems; Data structures; Detection algorithms; Logic circuits; Logic design; Logic functions; Reactive power; Sun; Boolean logic; Reed-Muller logic; characteristic triangle; detection algorithm;
Conference_Titel :
Communication Technology, 2008. ICCT 2008. 11th IEEE International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4244-2250-0
Electronic_ISBN :
978-1-4244-2251-7
DOI :
10.1109/ICCT.2008.4716264
