|
|
|
| SSA Test Pattern Generation |
||
| Summary |
||
|
|
|
|
|
|
|
|
|
|
|
| • | Given:
combinational circuit, possible fault |
|||||||||
| • | Build
fault model |
|||||||||
| • | Build
“test circuit” combining normal and fault |
|||||||||
| model,
evaluating true iff outputs of each are |
||||||||||
| different |
||||||||||
| • | Fix
output of test circuit to true |
|||||||||
| • | Convert
circuit logic to CNF form |
|||||||||
| • | Use
GSAT to find a satisfying truth assignment to |
|||||||||
| inputs. |
||||||||||
