Search State Equivalence for Redundancy Identification and Test Generation

@inproceedings{Giraldi1991SearchSE,
  title={Search State Equivalence for Redundancy Identification and Test Generation},
  author={John Giraldi and Michael L. Bushnell},
  booktitle={ITC},
  year={1991}
}
W e present new extensions t o the EST' algoritlm, which accelerates combinational circuit Redundancy Identification and Automatic Test Pattern Generation ( A T P G ) algorithms, in particular SOCRATES. E S T detects equivalent search states, which are saved. for all faults during A T P G . The search space is reduced by using learned Search State equiualences to d e tect previously-encountered search states (possibly from prior faults) and t o make internal node assignments. W e present two… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS