----------------------------------------------------------
#patterns #faults #ATPG faults test process
stored detect/active red/au/abort coverage CPU time
--------- ------------- ------------ -------- --------
Begin deterministic ATPG: #uncollapsed_faults=1755508, abort_limit=10...
Warning: Chain test pattern failed contention checking (ID=542). (M430)
0 77035 1673479 1013/2772/1173863 8.77% 513.36
Warning: 1152726 faults aborted during contention prevention. (M139)
Pattern Summary Report
-----------------------------------------------
#internal patterns 0
-----------------------------------------------
Uncollapsed Stuck Fault Summary Report
-----------------------------------------------
fault class code #faults
------------------------------ ---- ---------
Detected DT 77035
Possibly detected PT 155113
Undetectable UD 142983
ATPG untestable AU 11499
Not detected ND 1518366
-----------------------------------------------
total faults 1904996
test coverage 8.77%
-----------------------------------------------
Information: The test coverage above may be inferior
than the real test coverage with customized
protocol and test simulation library.