| design: | Name of the design file without .agm extension. |
| options: | |
| extension <ext> | ext is the file name extension of the test pattern file. Default extension is tst |
 |
 |
Last update: 28 July, 2004
| command: | analyze |
| input: | SSBDD model file (.agm), test pattern file |
| output: | test patterns with fault table (.tst) |
| syntax: | analyze [options] <design> |
| design: | Name of the design file without .agm extension. |
| options: | |
| extension <ext> | ext is the file name extension of the test pattern file. Default extension is tst |
| |
|
Last update: 28 July, 2004