Fault Simulator for Sequential Circuits.
| input: | SSBDD model file (.agm), Test pattern file (.tst) | |
|---|---|---|
| output: | Test pattern file (.tst) | |
| syntax: | seqsimul [options] <design> | |
| arguments: | design | Name of the design file without .agm extension |
| options: | -faultfree | Perform faultfree simulation |
| -extension <extension> | File extension of input patterns file. The default is "tst" | |
No Error Conditions defined
| 0 | Success |
|---|---|
| 1 | Error |
Copyright © 1999 Design & Test Center