To take a look at the coverage statistics. Click on the REPORT STATISTICS
from the right side palette icon. The Statistics window will appear.
Figure 12
For a more detailed explanation of all of the faults, click
here.
Take a look at the faults that were not covered in the test pattern
by clicking on the palette icon REPORT FAULTS. Select the All
Pins button and select Hypertrophic. The list below are the
faults that were not covered in the test patterns.
Figure 13
To save the patterns, click on the SAVE PATTERNS palette icon.
Specify to save the patterns in a file called ud_counter_ps.pats. This
saves all the patterns in the current pattern set and writes them, in the
default ASCII format, to the file ud_counter_ps.pats.
Figure 14
To terminate the session, at the popup command line, select:
