The graphs in this directory plot percent success on the Y axis and delay
size on the X axis. Each graph shows diagnositic the results of:
1) a stuck-at diagnosis (using simple stuck-at signatures)
2) a "twoval.res.req" diagnosis (using composite stuck-at signatures
created from stuck-at (two valued) logic simulations.
Restricted vectors are dropped and Required vectors are marked.
3) a "twoval.nores.req" diagnosis (using composite stuck-at signatures
created from stuck-at logic simulations.
Restricted vectors are not dropped; Required vectors are marked.
This is the composite signature created only from stuck-at signatures
that comes closest to containing the faulty behavior.
4) a "nineval.nores.req" diagnosis (using composite stuck-at signatures
created from nine-valued logic simulations.
Restricted vectors are not dropped; Required vectors are marked.
This composite signature guarantees complete containment.
One graph is created for each ISCAS85 circuit (almost).
We hope to decide how sensitive this algorithm is to containment, or
lack thereof.