Command Dictionary

Macrotest

 

 

-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

FastScan and FlexTest Reference Manual, V8.6_4

2-247

Page 275
Image 275
Mentor v8.6_4 manual 247