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 with the results shown in Figure 6.
   
   
   
   

From the statistics window, you can see that the test coverage for this design is 100% and the fault coverage is 100%. This means that the fault coverage by the test patterns is complete. For a more detailed explanation of the above results, click here.

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

You should get the result that is shown below in Figure 8

All of the green flags show Stuck at 1 faults, while the red flags correspond to stuck-at-zero faults.

3. To save the patterns, click on the SAVE PATTERNS palette icon. Specify to save the patterns in a file called mux.pats. This saves all the patterns in the current pattern set and writes them, in the default ASCII format, to the file mux.pats.
   
   
   
   

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