Test for Design (TFD) by the ATPG
Test for Design generated by the Tw-CAD will have fault coverage not more than that predicted.
The unique facility of the Tw-CAD is the ATPG. Test is automatically generated for whole arbitrary circuit ( it contains loops, complex nets, buried flip-flops, etc.) in opposite to the single chip of restricted structure traditionally.
|
Test is designed as segmented to number of independent parts (named as "segments") which are not ordered
|
|
Every segment cosists of well-ordered patterns
|
|
Every segment is free of hazards and races not only for the good circuit but for the detected faults as well
|
|
Every segment covers at least one new fault
|
|
Additional faults are covered symmetrically in some segments
|
|
Every segment is supplied with found reset or found sequence for initializing
|
|
Accidentally checked faults are marked in every segment
|
|
The ATPG uses time-restricted procedure guided by controlability measures.
|
We transform test to the needed format (MAX-II Plus, PCAD, DixiCAD, Mr-CAD. etc..). List is to be continued..
We can produce verification test and bus consistency analysis as optional features.