Mentor v8.6_4 User Manual
Command Dictionary
Macrotest
FastScan and FlexTest Reference Manual, V8.6_4
2-247
•
-NOVERIfy_observability
An optional literal that specifies for FastScan to refrain from performing an
extra simulation per pattern to verify that changing the macro outputs changes
the observation sites.
extra simulation per pattern to verify that changing the macro outputs changes
the observation sites.
•
-VERIfy_observability
An optional literal that causes one extra simulation per pattern to verify that
complementing all macro outputs causes each SL/PO where observation is
occurring to change its value. This is the default.
complementing all macro outputs causes each SL/PO where observation is
occurring to change its value. This is the default.
Examples
For examples refer to
in the Scan and ATPG Process Guide
Related Commands