RDIBP: Redundancy identification on boolean functions with paths

摘要

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.