| design: |
Name of the design
file without .agm extension. |
| |
|
| options: |
|
| failure_limit
<limit> |
Maximal number of
consecutive failed packages. Default is 64. |
| pack_size
<size> |
The number of vectors
in a package is size multiplied by 32. Default for size is 1. |
| criterion
<faults> |
Vectors detecting
more previously undetected faults than specified by faults will be selected.
Default for faults is 1. |
| packages
<packages> |
Maximal number of
packages to be simulated. Default is 1000. |
| select_max
<vectors> |
Maximal number of
vectors selected from a package. Default is 32. |
| fault_table |
Perform fault simulation
for the final patterns. |
