Mentor v8.6_4 manual ∙ Drc, Classification Criteria

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.

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.

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.

2-534 FastScan and FlexTest Reference Manual, V8.6_4