Now showing items 1-1 of 1
Decision selection and associated learning for computing all solutions in automatic test pattern generation (ATPG) and satisfiability
(United States Patent and Trademark Office, 2008-04-08)
An all solutions automatic test pattern generation (ATPG) engine method uses a decision selection heuristic that makes use of the “connectivity of gates” in the circuit in order to obtain a compact solution-set. The “symmetry ...