Mentor v8.6_4 - page 562

FastScan and FlexTest Reference Manual, V8.6_4
2-534
Set Nonscan Model Command Dictionary
Arguments
•DRC
A literal that specifies for FlexTest to allow the Design Rules Checker to
classify each non-scan cell based on the criteria listed in Table 2-9.
This is the default upon invocation of FlexTest.
•HOLD
A literal that specifies for FlexTest to classify as HOLD those non-scan cells
that have the criteria to be INITX. This increases the test coverage.
•INITX
A literal that specifies for FlexTest to classify as INITX those non-scan cells
that have the criteria to be HOLD. This increases pattern compactability.
Table 2-9. DRC Non-scan Cell Classifications
Classification Criteria
HOLD The state value of the non-scan cell is unknown (X), but
it remains the same as immediately before a scan
operation.
INITX Behaves the same as the HOLD gate, but its state can
change values during a scan operation.
INIT0 The state of the non-scan cell remains low (0)
immediately after a scan operation.
TIE0 Behaves the same as the INIT0 gate, but also remains at
a low state during all non-scan operations.
INIT1 The state of the non-scan cell remains high (1)
immediately after a scan operation.
TIE1 Behaves the same as the INIT1 gate, but also remains at
a low state during all non-scan operations.