1. To take a look at the coverage statistics. Click on the REPORT STATISTICS from the right side palette icon. The Statistics window will appear.
   
   
   
   

From the statistics window, you can see that the test coverage for this design is 100%. However, the fault coverage was not 100%. This means that some of the untestable faults are due to redundancy and they did not affect the functionality of the design. For a more detailed explanation of the categories in the above report, click here.

2. Take a look at the faults that were not covered in the test pattern by clicking on the pallette icon REPORT FAULTS. Select the ALL PINS button and select Untestable in the left hand side window.
   
   
   
   

You should get the result that is shown below:

Faults identified as UU correspond to output pins that are not used in the design. The faults that are classified as RE are called redundant faults and they are on pins of redundant logic gates.

3. To save the patterns, click on the SAVE PATTERNS palette icon. Specify to save the patterns in a file called ud_counter_fs.pats. This saves all the patterns in the current pattern set and writes them, in the default ASCII format, to the file ud_counter_fs.pats. This will allow you to see the actual patterns generated. Other formats such as verilog are also possible.
   
   
   
   

4. To terminate the session, at the popup command line, select:
   
   EXIT