Mentor v8.6_4 - page 504

FastScan and FlexTest Reference Manual, V8.6_4
2-476
Set Driver Restriction Command Dictionary
•ON
A literal that specifies for the tool to restrict buses to only having one driver on
at a time and gates to only having one active port; the tool flags multiple active
drivers or ports as contention problems.
•Tg (FlexTest Only)
A literal that restricts FlexTest to generating only test patterns that do not allow
multiple drivers. However, FlexTest does allow multiple drivers to be driving
the same values during the fault simulation process. This option improves the
test generation performance, but can cause FlexTest to incorrectly classify a
detectable fault as an ATPG untestable fault.
Examples
The following example creates a strict contention checking environment. The first
command specifies for the tool to check for contention on both multiple port gates
and buses. If there is a contention problem where signals are driving different
values, the tool reports an error and stops the simulation. The second command
further restricts the contention checking environment by not allowing multiple
drivers to even drive the same values.
set contention check on -error -all
set driver restriction on
Related Commands
Set Contention Check