STM Online Help: xstm Online Help (graphical interface)

Top
Verify
Use this function to configure the options which will be used for subsequently executing verify tools, including:
Execution iterations, timeouts, and looping
Behavior on errors
Extent of test coverage
Contents of the Verify Tool Activity Log
Allowing/disallowing user queries
By clicking on an individual checkbox, and then pressing F1, you can get help on that particular item. For example, if
you place your cursor on the "User Queries" checkbox, and then press F1 or choose "Help", you will get the following:
User Queries
You may select whether to interact with a specified tool, or to use the tool's
default information values, depending upon which of the following radio buttons
you select:
* Allow
* Disallow (Non-Destructive)
* Disallow (Destructive)
Alternatively, you can go to the "Help" pulldown menu in the Main Menu Window Bar, and click on "On Item"; the
cursor will change to a "?". In the example above, you then move the cursor to the "User Queries" checkbox, and click
on the checkbox with your mouse.
Execution Control
You can control execution of future diagnose commands with the three radio buttons associated with this heading:
Iterations to Loop -- number of times to repeat diagnose procedure
Execution Time Limit, in Minutes -- how long (in minutes) to run test
Loop Continuously -- repeat diagnose procedure until it is halted or aborted
Iterations to Loop
Select this radio button if you want to define the number of times the diagnose test procedure is repeated before it
halts.
Execution Time Limit, in Minutes
Select this radio button if you want to define the length of time the diagnose test procedure is to run (in minutes),
before it halts.
Loop Continuously
Select this radio button if you want the diagnose test procedure to repeat until you halt or abort it.
Behavior on Errors
Using the radio buttons associated with this heading, you can define the way in which you want a specified tool to
behave on encountering a "soft" error; e.g., a recoverable read error (hard errors, by contrast, cause the tool to create a