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 6
Take a look at the faults that were not covered in the test pattern
by clicking on the palette icon SHOW FAULTS. The following popup
window should appear as shown in Figure 7.
Figure 7
Look at the faults that are Untestable. From the popup window, select
ALL PINS, highligh UNTESTABLE and make sure that
Both is selected for the Stuck at value. Click on OK. On
your schematic, a few green and red flags will appear. The green flags
are stuck at 1 faults while the red flags are stuck at 0 faults.
Figure 8
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 9
To terminate the session, at the popup command line, select:
