Combinational Test Generation Using Satisfiability (0)

by P Stephan, A Sangiovanni-Vencentelli R Brayton
Venue:IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems