If the Test Synthesis window is not open already, open it from the
Design Analyzer menu by selecting TOOLS > TEST SYNTHESIS. Select
Test Manager and you should see the window in the figure below. Select
Yes for Multi-pass Test Generation and click on Create Test Patterns.
Figure 20
When the Create Patterns window appears, click on OK.
Figure 21
In the Create Test Patterns window, you will see the number
of test patterns as well as the fault coverage.
Figure 22
To examine the fault coverage as well as the untested faults, select
Coverage and Faults from the Test Reports window and make
sure that UNTESTED is highlighted.
Figure 23
You will see the Test Report window that contains the fault
coverage as well as the uncovered faults in the design.