SENSITIZE Command
Causes fault sensitization analysis to be performed during good-logic simulation.
| Command | SENSITIZE |
|---|---|
| Abbreviation | SEN |
| Category | Fault Analysis |
Function
The SENSITIZE command causes fault sensitization analysis to be performed during good-logic simulation, when faults are selected with this command.
Usage
The SENSITIZE command is described in Fault Analysis.
Directing SIMIC To Perform Sensitization Analysis
By default, SIMIC does not analyze fault sensitization while performing good-logic simulation. In order to perform sensitization analysis, faults must be selected with the LIST keyword:
SENSITIZE LIST:Having issued the above command, sensitization can be disabled with the NO prefix:
NO SENSITIZE LIST:Generating The Unsensitized Faults File
The UFILE keyword option controls generation of a file containing the names of all unsensitized faults; this file can subsequently be read during fault simulation to reduce execution time. The command:
SENSITIZE UFILE:directs SIMIC to write all unsensitized faults to the file whose name is the default file name and whose extension is .uns. This is the default SIMIC operation when the UFILE keyword option is not specified. The command:
SENSITIZE UFILE=<file_name>directs SIMIC to write these faults to the specified file. If the file specification does not include an extension, the default extension is .uns.
The command:
NO SENSITIZE UFILE:disables creation of this file.
If the UFILE specification does not contain a path name, this file is written to the current directory; however, a different destination can be specified (see Iterative Test Generation).
Specifying Sensitization Analysis Report Options
By default, SIMIC writes the sensitization analysis reports to a file whose name is the default file name and whose extension is .rps. This file can be explicitly specified with the RFILE keyword option:
SENSITIZE RFILE=<file_name>If the specified file does not contain an extension, the default extension is .rps.
The command form:
SENSITIZE RFILE:is equivalent to the SIMIC default.
The NO prefix inhibits creation of the report file:
NO SENSITIZE RFILE:Once inhibited, either of the above two command forms (without the NO prefix) re-enables report file creation.
If the RFILE specification does not contain a path name, the report file is written to the current directory; however, a different destination can be specified (see Iterative Test Generation).
The REPORT keyword option specifies the reports to be generated. The command:
SENSITIZE REPORT=EQUIVALENCEScauses the fault equivalence classes (fault collapsing) to be reported. The command:
SENSITIZE REPORT=SUPPRESSEDcauses all suppressed (inherently undetectable) faults to be reported. The command:
SENSITIZE REPORT=SENSITIZEDcauses all sensitized faults to be reported. The command:
SENSITIZE REPORT=UNSENSITIZEDcauses all unsensitized faults to be reported. The command:
SENSITIZE REPORT=SCOREcauses the sensitization analysis box score to be additionally written to the report file.
By default, only the box score is written to the report file. All other reports must be explicitly specified.
Different options can be combined in the same command. For example,
SENSITIZE REPORT=EQUIVALENCES,UNSENSITIZEDspecifies that the fault equivalences and the unsensitized faults be written to the report file.
The colon form of the REPORT keyword is a shorthand way to specify all reports:
SENSITIZE REPORT:The NO prefix can be used to selectively disable reports when the list form of the REPORT keyword is used. For example, the command sequence:
SENSITIZE REPORT:
NO SENSITIZE REPORT=EQUIVALENCES,SCOREspecifies that all reports be generated except the fault collapsing report and the box score.
The NO prefix disables all reports when the colon form of the REPORT keyword is used:
NO SENSITIZE REPORT:By default, the maximum line width of the report file is 80 characters. This can be changed with the EXPAND keyword. The command
SENSITIZE EXPAND:expands the maximum line width of these files to 132 characters.
The NO prefix can be used to restore the default line width:
NO SENSITIZE EXPAND:Incremental Test Generation
Usually, when explicit paths are not specified for files read by, or created by, SIMIC, the files will be in the current directory. This is inconvenient for incremental test generation, since files could be inadvertently overwritten.
The DIRECTORY keyword option specifies a different destination for the sensitization analysis output files (the unsensitized faults file and the report file).
The command:
SENSITIZE DIRECTORY:directs SIMIC to create a new directory for the sensitization analysis output files, whose name will have the form:
<default_file>.fnnwhere <default_file> is the default file name and nn is a two-digit decimal index from 00 through 99. If subdirectories (of the current directory) having this form of name exist, SIMIC searches for the subdirectory with the highest 2-digit index. It then creates the output directory as a new subdirectory whose 2-digit index is one higher than this subdirectory's index. If no subdirectories having this form of name exist, SIMIC creates the subdirectory <default_file>.f00 for the output directory.
The same operation can be specified for other name prefixes. The command:
SENSITIZE DIRECTORY=<dname>__where <dname> is a character string and two underscore characters are appended to this string, directs SIMIC to create a new directory whose name will have the form:
<dname>nninstead of <default_file>.fnn.
If the directory prefix is suffixed by only one underscore, SIMIC will not create a new directory. The command:
SENSITIZE DIRECTORY=<dname>_directs SIMIC to search for directories whose names have the form:
<dname>nnto find the directory with the highest two-digit decimal index. This directory will be the output directory. If no subdirectories having this form of name exist, the current directory will be the output directory.
If the directory name is specified without trailing underscores:
SENSITIZE DIRECTORY=<dname>SIMIC will use the directory as the output directory. If this directory does not exist, SIMIC will create it.