Mentor v8.6_4 - page 540

FastScan and FlexTest Reference Manual, V8.6_4
2-512
Set Instruction Atpg Command Dictionary
•filename
A string specifying the name of the ASCII file that describes all the input pins
and the instruction set that you want the instruction-based test generation to
use. For a detailed description of the instruction file, refer to “Instruction File
Format” in the Scan and ATPG Process Guide.
Examples
The following example enables instruction-based test generation:
set instruction atpg on /user/design_one/instruction_file