| 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 |
Performs fault simulation.
| 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 |