|
|
|
| Example: SSA Circuit Fault |
||
| Testing |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Problem
Overview |
|||||||||||
| – | Combinational
circuits |
|||||||||||
| – | Single-Stuck-At
(SSA) faults |
|||||||||||
| – | Automatic
Test Pattern Generation |
|||||||||||
| • | Notation
translation for Larrabee paper |
|||||||||||
| • | Normal
circuit example |
|||||||||||
| • | Conversion
to Conjunctive Normal Form |
|||||||||||
| (CNF) |
||||||||||||
