A GRAPH ALGORITHM FOR FINDING THE MINIMUM TEST SET OF A BDD-BASED CIRCUIT

[1]  Rolf Drechsler,et al.  Synthesis of fully testable circuits from BDDs , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[3]  Sheldon B. Akers,et al.  Binary Decision Diagrams , 1978, IEEE Transactions on Computers.