Title :
RDIBP: Redundancy identification on boolean functions with paths
Author :
Yue Huang ; Zhilei Chai ; Wenbo Xu
Author_Institution :
Sch. of Inf. Technol., Jiangnan Univ. Wuxi, Wuxi, China
Abstract :
RDIBP is a circuits redundancy identify algorithm on boolean functions with paths. It can find redundancy faults. Circuits logic is expressed on boolean function SOP form with paths. And traditional boolean function simplifying methods were improved for searching redundancy faults easier. The circuit nodes were divided into groups according to correlation for improving the efficiency of the algorithm and preventing memory explosion. Moreover, RDIBP is ensured within a limited time by adjusting the control parameters. RDIBP results on ISCAS85 and ISCAS89 benchmark circuits were compared and analyzed with the FIRE , SPIRIT and other algorithms.
Keywords :
Boolean functions; logic circuits; redundancy; Boolean functions; RDIBP; circuits logic; redundancy faults; redundancy identification; Algorithm design and analysis; Benchmark testing; Boolean functions; Circuit faults; Fires; Redundancy; Sequential circuits; SOP form; benchmark circuits; boolean functions; grouping; redundancy identification;
Conference_Titel :
Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-8727-1
DOI :
10.1109/CSAE.2011.5953261
