Minimizes the number of test patterns in the test set.
| input: | SSBDD model file (.agm), Test pattern file (.tst) | |
|---|---|---|
| output: | Minimized test set (.pak) | |
| syntax: | optimize [options] <design> | |
| arguments: | design | Name of the design file without .agm extension |
| options: | -fault_cover <percentage> | Specify desired fault cover in %. The number must be an integer. The default is the fault coverage of the nonoptimized test set. |
| -extension <extension> | extension is the file name extension of the test pattern file. Default extension is pak. | |
No Error Conditions defined
| 0 | Success |
|---|---|
| 1 | Error |
Copyright © 1999 Design & Test Center