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.
• -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.
Examples
For examples refer to A Macrotest Example in the Scan and ATPG Process Guide
Related Commands
Set Gate Report