Tmax Quick Reference
Tmax Quick Reference
Quick Reference
Version A-2007.12, December 2007
Comments?
Send comments on the documentation by going
to http://solvnet.synopsys.com, then clicking
“Enter a Call to the Support Center.”
Copyright Notice and Proprietary Information
Copyright © 2007 Synopsys, Inc. All rights reserved. This software and documentation
contain confidential and proprietary information that is the property of Synopsys, Inc. The
software and documentation are furnished under a license agreement and may be used or
copied only in accordance with the terms of the license agreement. No part of the software
and documentation may be reproduced, transmitted, or translated, in any form or by any
means, electronic, mechanical, manual, optical, or otherwise, without prior written
permission of Synopsys, Inc., or as expressly provided by the license agreement.
Right to Copy Documentation
The license agreement with Synopsys permits licensee to make copies of the
documentation for its internal use only. Each copy shall include all copyrights,
trademarks, service marks, and proprietary rights notices, if any. Licensee must
assign sequential numbers to all copies. These copies shall contain the following
legend on the cover page:
“This document is duplicated with the permission of Synopsys, Inc., for the
exclusive use of __________________________________________ and
its employees. This is copy number __________.”
Destination Control Statement
All technical data contained in this publication is subject to the export control laws
of the United States of America. Disclosure to nationals of other countries
contrary to United States law is prohibited. It is the reader’s responsibility to
determine the applicable regulations and to comply with them.
Disclaimer
SYNOPSYS, INC., AND ITS LICENSORS MAKE NO WARRANTY OF ANY
KIND, EXPRESS OR IMPLIED, WITH REGARD TO THIS MATERIAL,
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
ii
Registered Trademarks (®)
Synopsys, AMPS, Cadabra, CATS, CRITIC, CSim, Design Compiler, DesignPower,
DesignWare, EPIC, Formality, HSIM, HSPICE, iN-Phase, in-Sync, Leda, MAST,
ModelTools, NanoSim, OpenVera, PathMill, Photolynx, Physical Compiler,
PrimeTime, SiVL, SNUG, SolvNet, System Compiler, TetraMAX, VCS, Vera, and
YIELDirector are registered trademarks of Synopsys, Inc.
Trademarks (™)
AFGen, Apollo, Astro, Astro-Rail, Astro-Xtalk, Aurora, AvanWaves, Columbia,
Columbia-CE, Cosmos, CosmosEnterprise, CosmosLE, CosmosScope,
CosmosSE, DC Expert, DC Professional, DC Ultra, Design Analyzer, Design Vision,
DesignerHDL, Direct Silicon Access, Discovery, Encore, Galaxy, HANEX, HDL
Compiler, Hercules, Hierarchical Optimization Technology, HSIMplus, HSPICE-Link,
i-Virtual Stepper, iN-Tandem, Jupiter, Jupiter-DP, JupiterXT, JupiterXT-ASIC,
Liberty, Libra-Passport, Library Compiler, Magellan, Mars, Mars-Xtalk, Milkyway,
ModelSource, Module Compiler, Planet, Planet-PL, Polaris, Power Compiler,
Raphael, Raphael-NES, Saturn, Scirocco, Scirocco-i, Star-RCXT, Star-SimXT,
Taurus, TSUPREM-4, VCS Express, VCSi, VHDL Compiler, VirSim, and VMC are
trademarks of Synopsys, Inc.
Service Marks (SM)
MAP-in, SVP Café, and TAP-in are service marks of Synopsys, Inc.
Conventions 1
Online Help 2
TetraMAX ATPG Commands 3
Index to Commands 69
v
vi
Conventions
This quick reference uses the following conventions
in the command syntax:
• Brackets ( [ ] ) denote optional choices. A
command is still valid if you omit these
choices.
• A vertical bar ( | ) separate different items
from which you choose a single item.
• An asterisk ( * ) indicates the default setting in
a list of choices.
• Angle brackets ( < > ) denote a grouping of
related items.
• Ellipses ( ... ) indicate that the previous item in
the syntax can be repeated one or more
times.
• Italics indicate a user-defined item for which
you substitute a value or character string.
• Uppercase letters shown in the command
syntax represent the minimum characters
necessary to enter the command. For
example, to enter the command REMove
CApture Masks -All , it is sufficient to type
REM CA M -A .
Conventions 1
Online Help
TetraMAX provides online help in the following
forms:
• Text-only help on TetraMAX commands,
displayed in the transcript window. Use the
help command in the command-line window.
• Window-based, hyperlinked help on
commands, design flows, error messages,
design rules, fault classes, and many other
topics. Use the pull-down menu command
Help > Help Topics, or use the man
command and specify the topic of interest.
• The TetraMAX ATPG User Guide, available in
online form. Use the pull-down menu
command Help > User’s Guide.
• The TetraMAX Release Notes, available in
online form. Use the pull-down menu
command Help > Release Notes.
For text-only help, use the help command. For a
list of help topics available, type the following
command in the command-line window:
> help
2 Online Help
TetraMAX ATPG Commands
The TetraMAX ATPG commands are described
in alphabetical order. An index to the commands
is provided at the end of this manual.
Add Clocks
Add CLocks <0 | 1> <pin_names_list>
[-Timing <<period> <LE> <TE>
<measure_time>>]
[-Unit <ps | ns>]
[-Shift] [-Ref_Timing <<period> <LE> <TE>>]
[-PLLclock] [-INTclock] [-REFclock]
[-PLL_Source <node_name>]
[-Cycle <<cycle_id> <-Always <ON | OFf> |
int_node_name <0 | 1>>>]
This command defines a primary input port to be
a clock. For ATPG purposes, a clock is a pulsed
input port that can change the state of a flip-flop,
Add Faults
Add Faults
[instance | pin_pathname | -Module <module
name> | -All | -CLocks | -SCan_enable | -
bridge_location <bridge_location1
bridge_location2> | -Node_file <filename>]
[-LAunch <launch_clock>] [-CApture
<capture_clock>] [-EXclusive] [-SHared] [-
INTER_clock_domain] [-INTRA_clock_domain]
[-Stuck <0|1|01> | -Slow <R|F|RF>] [-Bridge
<0 | 1 | 01>] [-AGgressor_node <First |
Second | Both>] [-MAx_invalid_report <d>]
This command creates a list of faults for test
generation or fault simulation. Potential fault sites
include all top-level ports and all input and output
pins of cells that have a netlist-defined pin name.
You can add faults to the pins of a specified
instance, to a single pin, to pins of all instances
of a specified module, or to all potential fault sites
in the design.
Add PI Constraints
Add PI Constraints <0 | 1 | X | Z>
<pin_names | -All | -ALL_Bidis | -
ALL_BIDIS_Except_clocks | -
ALL_Except_clocks>
This command constrains one or more primary
input ports to a specified value (0, 1, X, or Z).
The ATPG algorithm only generates patterns that
satisfy the defined constraints on these ports. An
alternative to using this command is to define the
constraints in the STIL procedure file.
This command does not constrain the ports
during scan chain loading or unloading. To
control the port values at these times, set the
desired values in the STIL procedure file.
Add PO Masks
Add PO Masks <-All | pin_name>
This command specifies a primary output port (or
bidirectional port) whose output is to be masked.
The test generator and fault simulator do not give
fault detection credit for these ports, and the
expected value is set to X. Masking can be
useful when there are circuit outputs that might
not be observable in a particular tester or system
environment, such as boundary scan.
The PO mask does not mask data from scan
chain outputs during scan-shift cycles.
Alias
ALias [alias_name [alias_text]
This command defines an alternative symbolic
name for a command, along with potential
command arguments and switches. The alias
can then be used in place of the original
command.
Analyze Compressors
ANalyze COmpressors <-NUM_Chains <d>> <-
NUM_Inputs <d>> <-NUM_SCANOuts <d>> [-
NODiag] [-Verbose] [-XTOLerance <Default |
High>]
This command enables you to run ATPG by
creating a virtual compressor. You can select
parameters for the compressor and the
decompressor and run ATPG. Use the analyze
compressors command to perform a what-if
analysis and explore the benefit of scan-
compression on your design. This command
deletes the internal patterns after an analyze
compressors run. You must run ATPG in scan
mode separately and compare results to the
scan mode.
The analyze compressors command prints out
estimated data volume and test volume
reductions you can achieve. These estimates
assumes that you have exactly same coverage
Analyze Faults
ANalyze Faults <pin_pathname |
delay_pathname | -Class <list of
fault_classes>> [-stuck <0|1>] [-Observe
<d>] [-Display] [-Slow <R|F>]
[-FAUlt_simulation] [-FASt_sequential |
-FUll_sequential] [-Max <d>]
[-TRAnsition_clocking] [-Verbose]
[bridge_location] [-Bridge <0 | 1>]
This command analyzes a specific fault, or one
or more classes of faults, to help determine why
the faults are not detected. The analysis is
affected by the set atpg, set delay, and
set contention command settings.
In the command, specify either a single fault at a
specific location, an entire class of faults (such
as NO or AN), or multiple classes of faults for
analysis. For a single stuck-at fault, you can
optionally specify a particular observe point and
whether to display the results in the schematic
viewer.
Analyze Violation
ANalyze Violation violation_id
This command analyzes the cause of a rule
violation detected by the run drc command (for
example, “Z1-4”) and generates a report on that
violation. The gates associated with the violation
are displayed in the schematic viewer, annotated
with data that was used to perform rule checking.
Analyze Wires
ANalyze Wires <-All | gate_id> [-Update]
Build
BUILD [-Force]
This command manually returns a TetraMAX
session to the BUILD command mode, allowing
you to execute commands that operate only in
that mode.
Cat
CAT filename [-Max n] [-Line_numbers]
This command displays the contents of a
specified file, like the UNIX cat command. You
can optionally limit the number of lines displayed
or show line numbers along with the lines of text.
Cd
CD directory_path
This command changes the current working
directory, like the UNIX cd command. It works
only in the GUI mode of TetraMAX (not in the
shell mode).
Clear
CLEAR
This command clears the text from the transcript
window.
Cp
CP source_filename destination_filename
This command copies a file, like the UNIX “cp”
command. It does not support wildcards (*) in the
specified file names.
DRC
DRC [-Force]
Exit
EXIt [-Force]
This command ends the current TetraMAX
session and returns you to the Windows or shell
environment.
Get Licences
Get Licenses
<TEST-ANalysis | TEST-Faultsim | TEST-ATPG-
Max | TEST-DIagnosis | TEST-Map | TEST-
Fault-max | TEST-Accelerate-max> [-Wait <d>]
Use this command to manually check out
selected licenses. Normally, this is not required
because licenses are automatically checked out
as needed.
The -Wait option helps the distributed ATPG to
check out multiple copies of the ATPG license if
distributed processing licenses are not
available.This option tries to get a license
multiple times until d seconds have passed.
d is an integer in seconds. It does not have a
default value. If d < 60, the ATPG retries every
60 seconds until the time left is less than 60
seconds. It then retries every second before it
times out.
Gui_Start
gui_start
This command displays the TetraMAX GUI in its
current state in the shell mode.
Gui_Stop
gui_stop
GSV Print
GSV Print
This command creates a grayscale PostScript
file, which captures the schematic displayed in
the Graphical Schematic Viewer (GSV).
Help
Help [command_name | -All] [-Usage]
This command lists all of the available
commands or reports the supported command
switches and arguments for a specific command.
For a restricted list of commands, use a wildcard
character (for example, help report* ).
For a more detailed description of a specific
command, use man command_name .
Ls
LS [-L] [pathname]
This command displays information about a
specified file or directory, like the UNIX ls
command. By default, it lists the names of the
files in the current working directory.
Man
Man [command | rule_id | rule_violation_id |
message_id | COMmands | GETting_started |
FAUlt_classes | STIL_examples |
RAM_examples]
This command invokes the TetraMAX online help
and displays information on a specified
command, rule ID, violation ID, message ID, or
topic. For example: man read netlist, man
Z9, man C17-1, man fault_classes . The
man command by itself returns a list of all
commands.
Mv
MV source_filename destination_filename
This command moves or renames a file, like the
UNIX mv command.
Pwd
PWD
This command displays the current working
directory, like the UNIX pwd command.
Quit
QUIt [-Force]
This command terminates the current session
and returns you to the Windows or shell
environment. You can also use the exit
command to terminate the current session.
Read DRC
Read Drc <filename>
This command, used in conjunction with the
update wft and update clock commands,
reads the specified SPF file, but will not further
process it through DRC. It must be specified
immediately before the update wft and
update clock commands. Any changes made
with the update commands will only be saved,
and usable, if the write drc command is used
immeditely after these commands, and then run
drc is used with the newly generated file.
Read Image
REAd Image file_name
This command reads and restores the TetraMAX
database saved by a write image command.
Read Layout
REAd LAyout <lib_name> <-Cell_name
<cell_name>> [-Version <d>]
[-MAX_mismatch_report <d>]
This command reads the Milkyway database
(Synopsys physical database) and displays the
corresponding physical data for the resulting fault
candidates in its diagnosis output.
Milkyway database consists of a library that
holds all the cell views of the design. There is a
cell in the library matching the top-level module
in TetraMAX. The library cells in TetraMAX also
have a corresponding cell in Milkyway.
TetraMAX can identify the missing
correspondences. Physical data for
corresponding objects is stored for each
TetraMAX primitive.
This command sends any messages from the
Milkyway database parser to the standard output
of the TetraMAX process. These messages are
Read Memory_file
REAd Memory_file
<gate_id | instance_name>
filename [-Binary | -Hex*]
[-Range first_address last_address]
This command loads a specified RAM or ROM
instance with a memory image obtained from a
data file in Verilog format. You can use this
command to alter the RAM or ROM contents
specified in the netlist model.
Read Netlist
REAd NEtlist
filename
[-Format Edif | VErilog | VHdl]
[-Library] [-Master_modules]
[-Sensitive | -INSensitive]
[-Delete] [-Noabort]
[-Verbose]
This command reads a design netlist. TetraMAX
can automatically identify and accept any
combination of netlists in Verilog, EDIF, and
VHDL formats; and in either ASCII or
compressed (GZIP or binary) form.
Typically, you only need to specify the file name
to successfully read in a netlist file. However,
options are available to control the interpretation
of the netlist data. You can read in multiple files
with a single command by using a wildcard
character (for example, read netlist mux1*).
Read Nofaults
REAd NOfaults filename
This command adds the nofault attribute to the
list of locations specified in a file, thus preventing
the placement of faults at those locations.
Read Timing
Read Timing <filename> [-Delete]
This command causes TetraMAX to read a file of
data that will be interpreted as the minimum
slacks (timing margins) for each faultable pin in
the design. This minimum slack information can
be printed from PrimeTime using a procedure
defined in the pt2tmax Tcl script provided within
the TetraMAX release.
The format for the input file is a single line for
each faultable pin. The line contains three fields:
the pinpathname for the pin, the minimum slack
for a rising transition through that pin, and the
minimum slack for a falling transition through the
pin.
Remove Clocks
REMove CLocks <pin_names | -All>
This command removes one or more clock
declarations, or all clock declarations, previously
added with the add clocks command or
implicitly defined in the STIL procedure file and
implemented with the run drc command.
Remove Compressors
REMove COmpressors <compressor_name | -Load
| -Unload | -All>
This command removes compressors from the
defined compresors list. Note that this command
is valid in DRC mode only.
Remove Faults
REMove Faults
[pin_pathname | instance_name | -Module
<module_name> | -bridge_location
<bridge_location1 bridge_location2> | -CLass
<fault_class> | -All | -CLOcks | -
SCan_enable | -Retain_sample <sample_number>
| -Slow <R|F|RF>]
[-LAunch <launch_clock>]
[-CApture <capture_clock>]
[-EXclusive] [-SHared]
[-INTER_clock_domain]
[-INTRA_clock_domain] [-Bridge <0 | 1 | 01>]
[-AGgressor_node <First | Second | Both>]
[-COMBINATIonal_feedback]
[-NON_Strength_sensitive]
This command removes faults from the current
fault list, which means that the pattern generator
will not attempt to detect the removed faults. You
can remove faults associated with a specific pin,
specific instance, or all instances of a named
module; or remove a random sampling of all
faults while retaining a statistical percentage; or
remove all faults.
Remove Licenses
REMove Licenses <TEST-ANalysis | TEST-
Faultsim | TEST-ATPG-Max | TEST-DIagnosis |
TEST-Map | TEST-Fault-max | TEST-Accelerate-
max>
This command manually releases and checks in
one or more specified licenses so that others
may use them. Before you remove a Test-Delay
Remove Nofaults
REMove Nofaults <instance_name |
pin_pathname | -All | -Module <module_name>>
[-Stuck <0|1|01>] [pin_names]
This command removes some or all of the
nofault attributes in the design. Nofault attributes
can exist because they were defined in the
netlist, added with the add nofaults
command, or added with the add equivalent
nofaults command.
You can use the remove nofaults command
only when the current fault list does not contain
any faults.
Remove PI Constraints
REMove PI Constraints <pin_names | -All>
This command removes one or more specified
primary input constraints, or all such constraints,
previously added with the add pi constraints
command or implicitly defined in the test protocol
file.
Remove PI Equivalences
REMove PI Equivalences <-All | pin_names>
Remove PO Masks
REMove PO Masks <pin_name | -All>
This command removes one or more specified
primary output masks, or all such masks,
previously added with the add po masks
command.
Report Bist
REPort BIst [-Lfsr_chain | -
Prpg_shadow_chains]
This command reports puesdo random pattern
generator (PRPG) and multiple input signature
register (MISR) cell data.
Report Buses
REPort Buses <gate_id | -BEhavior <Buf | Inv
| And | Or | Xor | Mux | TIE0 | TIE1 | TIEZ>
| -BIdis | -CLock | -Contention <Fail | Pass
| Abort | Bidi | Ignore> | -Keepers | -Pull |
-Weak | -Zstate <Fail | Pass | Abort | Bidi |
Ignore> | -Summary | -All> [-Max <d>] [-
Verbose] [-NOVerbose]
This command generates a report on the
contention status of BUS primitives in the design.
You can choose to get a report on a specific BUS
primitive, on BUS primitives that fall into a
specific category, or on all BUS primitives in the
design. You can choose a summary report,
which lists the number of BUS primitives in each
category; or a complete report, which shows the
gate ID number, contention status, Z-state
status, number of strong/weak drivers, and
learned behavior category for each BUS
primitive.
Report Clocks
REPort CLocks
[-Command_report | -Verbose | -Matrix | -
Dominant | -INTClocks | -PLLClocks]
[-by_id]
This command generates a report on all pins
defined to be clocks, either explicitly by the add
clocks command or implicitly by the test
protocol file. These clock pins include active-high
clocks, active-low clocks, asynchronous set/reset
pins defined to be clocks, and memory-write
control lines. You can optionally have the clocks
reported in the form of add clock commands
Report Commands
REPort COMmands [command_name | -All] [-
Usage] [-History | -History_depth <d>] [-
depth]
This command provides information on a
specified command or all commands, like the
help command; or displays a history of
commands executed in the current session.
Report Faults
REPort FAults [instance_name | pin_pathname]
[-CLass <fault_class_list>]
[-Unsuccessful | -SUmmary | -Profile | -All]
[-Stuck <0|1|01> | -Slow <R|F|RF>]
[-COllapsed | -UNCollapsed] [-Max <d>]
[-Verbose] [-PER_clock_domain]
[-Level <depth min_count>] [-Pattern_id <d>]
[bridge_location] [-Bridge <0 | 1 | 01>]
[-AGgressor_node <First | Second | Both>]
[-BRIDGE_Feedback] [-BRIDGE_Strong]
[-NDetects <Histogram | Faults <d>>]
[-Slack <Faults <d1> <d2> | Sdql | TMgn |
TDet | DElta | EFfectiveness>]
Allowed fault_class codes are:
Report Instances
REPort INstances
instance_name [-Module name] [-Netnames]
This command generates a report on a specified
instance. You specify either a hierarchical
instance name or the name of an instance within
a specified module.
Report Layout
REPort LAyout <layout | Tmax object_name>
[-Instance | -Cell_type | -Tmax_cell_type |
-Net]
This command extracts physical data and finds
corresponding objects (instances, nets) between
the layout and the TetraMAX design.
Report Licenses
REPort Licenses
This command lists all licenses currently
checked out by your TetraMAX session.
Report Memory
REPort MEmory <instance name | Gate Id | -
All | -Summary> [-Contents <address | All>]
[-Max <d>] [-Verbose]
This command generates a summary report on
all MEMORY primitives in the design, or a detailed
report on one or all such primitives. A summary
report shows the total number of RAMs and
ROMs having certain stability and off-state
characteristics. A standard or verbose report
shows information on each memory primitive,
including the type, gate ID number, instance
path, and associated memory file.
Report Nets
REPort NEts net_name [-Module name]
This command generates a report on a specified
net. You specify either a hierarchical net name or
the name of an net within a specified module.
The report lists the module input and output pins
connected to the net.
Report Nofaults
REPort NOFaults
instance_name |
pin_pathname [-Stuck<0|1|01>] |
-Summary | -All
[-Max <d>]
This command generates a report on the nofault
attributes in the design. Nofault attributes can
exist because they were defined in the netlist,
Report Patterns
REPort PAtterns <pat_specification | -All |
-Summary> [-Internal | -External] [-Chain
<name>] [-Types] [-Path_delay] [-SLack] [-
CHAIN_Mapping]
This command generates a report on the pattern
data in the internal or external pattern buffer. A
summary report shows the number of patterns of
each type (Basic-Scan, Fast-Sequential, and so
on). A standard report shows the pattern data for
the specified range of patterns.
Report PI Constraints
REPort PI Constraints [-Command_report]
This command generates a report on all primary
input and bidirectional ports that are constrained
explicitly by the add pi constraints
command or implicitly by the test protocol file.
Report PO Masks
REPort PO Masks
This command generates a list of all primary
output ports that are constrained to be masked
by the add po masks command.
Report Primitives
REPort PRimitives [primitive ID number |
instance_name | net_name | pin_pathname | -
PORts | -PIS | -POS | -PIOs | -Type <type> |
-Summary] [-Max <d>] [-pins] [-all]
This command generates a report on primitives
contained in the design built by TetraMAX. A
summary report shows the number of primitives
of various types: primary inputs, primary outputs,
DFFs, NANDs, and so on. To get a detailed report
on one or more primitives, specify the ID number,
instance name, net name, pin path name,
primitive category, or primitive type. You can
request multiple reports in a single command.
Report Rules
REPort RUles [rule type | rule ID | -All] [-
Fail] [-verbose]
This command generates a report on the number
of rule violations detected by TetraMAX. The
report shows the rule ID number, severity level,
number of failures, and a brief description of
each rule.
report_sdc
report_sdc [-clocks][-to_cells][-groups]
[-case_analysis][-false_paths]
[-multicycle_paths][-case_paths]
[-disable_paths][-all_paths]
This command reports timing exceptions read in
from a SDC (Synopsys Design Constraints) file.
It is used only in TEST mode, and must be used
in conjunciton with the read_sdc command,
which reads in an SDC file. Note that this
command is valid only Tcl mode.
Report Settings
REPort SEttings [command_type | -All] [-
Command_report]
This command generates a report on the option
settings controlled by the set commands: set
atpg , set build , and so on. To restrict the
scope of the report, specify the type of settings
you want reported (for example, report
settings atpg ).
Report Summaries
REPort SUmmaries [PRimitives] [Faults]
[PAtterns] [Library_cells] [Memory_usage]
[Optimizations] [Sequential_depths]
[Cpu_usage] [-launch <launch_clock>] [-
capture <capture_clock>] [-exclusive] [-
shared] [-inter_clock_domain] [-
intra_clock_domain] [-PER_clock_domain]
This command generates a summary report on
one or more of the following topics: primitives,
faults, patterns, library cells, memory usage,
build optimization, control/observe sequential
depth, or CPU usage.
Report TRC
REPort Trc
This command reports the currently selected
tester rules check.
Report Violations
REPort VIolations <rule_type | -All> [-max
<d>]
This command generates a report on the rule
violations detected by TetraMAX. The report
shows the severity, description, location, and rule
ID number of each violation.
In the command, specify which violations you
want reported: the violation ID number, the rule
ID number (such as C4) for violations of that rule,
the rule type (such as C ) for all violations of that
type, or -all for all violations.
Report Wires
REPort Wires [gate_id | -Summary | -All] [-
Contention <Fail | Pass | Abort>] [-Max <d>]
[-Verbose]
This command generates a report on the wire
gates in the design. A summary report shows the
number of wire gates falling into different
contention status categories. A full report shows
the gate ID number, contention status, Z-state
status, number of strong and weak drivers, and
behavior data for each gate.
Reset AU Faults
RESet Au Faults
This command changes the detection status of
all AU (ATPG untestable) faults to ND (not
detected).
Rm
RM filename
This command removes an existing file, like the
UNIX rm command. It does not support the use
of wildcard (*) characters.
Run ATPG
RUn Atpg [Basic_scan_only |
FAst_sequential_only | FUll_sequential_only]
[-Auto_compression] [-Random] [-Distributed]
[-Observe_file <file_name>] [-NDEtects <d>]
[-NOdisturb_clock_grouping]
This command generates test patterns for the
current set of faults using the pattern source set
by the set patterns command. To specify the
parameters for ATPG, use the set atpg
command.
Run Build_model
RUn Build_model [top_module] [-Weakgates]
[-all] [-remove_pio_pull] [-prt < >]
This command builds the in-memory simulation
model from the design modules that have been
read into TetraMAX. To control the build process,
use the set build command. After the build
process is completed, TetraMAX performs a
learning process, which you can control with the
set learning command.
Run DRC
RUn DRc [file_name] [-Test | -Delete] [-
prescan] [-DFt] [-PATTERNEXEC <exec_name>]
[-APpend]
This command performs design rule checking.
TetraMAX checks the scan structure of the
design and determines how to use this structure
for test generation and fault simulation. The DRC
process is affected by the set drc and set
atpg commands.
You can optionally specify the name of a DRC
file (the STIL procedure file) to be used for
design rule checking. This file can specify DRC
Run Fault_sim
RUn FAult_sim [-First_pattern <d>] [-
Last_pattern <d>] [-STore] [-CHeckpoint
<fault_filename>] [-NODrop_faults | -
SEquential | -SEquential_nodrop_faults] [-
Distributed] [-DETected_pattern_storage] [-
STRong_bridge] [-NDEtects <d>]
This command performs fault simulation for the
current fault list and pattern source, allowing you
to determine the test coverage obtained by an
externally generated test pattern.
You can optionally specify a truncation point (last
pattern number), request a sequential simulation
rather than a scan-based combinational
simulation, or store the external patterns that
detect faults in the internal pattern buffer.
Run Justification
RUn Justification [-Set <<gate_id |
pin_pathname> <0 | 1 | Z | R | F>>] [-
Verbose] [-STore] [-Previous] [-
NOConstraints] [-NOPrevention] [-
FUll_sequential] [-Replace_pattern <d>]
This command creates a pattern that satisfies a
given set of conditions placed on specified
internal or external circuit nodes. If this process
is successful, you can optionally place the
resulting pattern into the internal pattern buffer
and then write it out to a file. The justification
process uses ATPG techniques, as defined by
the set atpg command.
Run Mapping
RUn Mapping
<instance_name | -Module <module_name>>
<-Pattern_file <file_name>>
[-DELete] [-DEPendent_pattern_mapping]
[-NOMAp_pin <pin_name>]
[-Sensitive | -INSensitive] [-Verbose]
[-CLock_merge] [-MAX_Errors <d>]
[-Analyze <d>]
[-STORE_Debug_data | -NOSTORE_Debug_data] [-
Merge | -MIXed_event_merge | -NOMErge]
[-REAd_write_overlapping | -
NOREAd_write_overlapping]
[-Reload_after_unload | -
NOReload_after_unload]
[-STRobe_offset <<d> FS|PS|NS|US|MS|S>]
[-STRobe_period <<d> FS|PS|NS|US|MS|S>]
[-STRobe_rising <port_name>]
[-STRobe_falling <port_name>]
[-STRobe_comments <comments>]
[-STRobe_event < >]
[-VCd_clock <<0|1> <port>>]
This command maps functional test patterns for
an embedded submodule into new test patterns
for the whole device under test. Based on the
connectivity of the embedded submodule,
TetraMAX determines how to control the inputs
and observe the outputs of the submodule, and
then constructs its own patterns that apply the
pattern data to the submodule within the larger
design.
Run Pattern_compression
RUn Pattern_compression [num_passes]
[-RESet_au_faults] [-MIn_eliminated_pats
<d>] [-MAx_useless_passes <OFf | d>]
[-Order <RAndom | REverse>]
[-Verbose | -NOVerbose] [-RETain_order] [-
NDetects <d>]
This command attempts to reduce the number of
patterns by eliminating unnecessary patterns
from the current pattern list. TetraMAX identifies
the unnecessary patterns by performing fault
simulation of the current patterns, retaining only
those patterns that are required for detection of
additional faults. Then, for a multiple-pass
compression, it reorders the patterns and
repeats the same elimination process. To avoid
repeating the same pattern order, the reordering
algorithm alternates between reversing the
current order and rearranging the order randomly
for each pass.
Run Simulation
RUn Simulation [-SEquential]
[-SEQUENTIAL_Update] [-STore] [-NOCompare]
[-Nox_difference] [-pin <<pathname> <0 | 1>>
| -Chain <<chain_name> <position>>]
[-Max_fails <d>] [-Failure_file <file_name>]
[-Replace] [-Last_pattern <d>]
[-Bridge <WAnd | WOr | Adom | Bdom> <nodea>
<nodeb>>] [-SLow <R | F | RF>]
[-FASt <R | F | RF>] [-STuck <0 | 1>]
[-Update]
Run TRC
RUn TRc
This command performs design tester rule
checking.
Set ATPG
Set Atpg
[-ADJacent_fill_range <d>]
[-ALlow_clockon_measures | -
NOALlow_clockon_measures]
[-ANalyze_untestable_faults | -
NOANalyze_untestable_faults]
[-Abort_limit <d>]
[-BASIC_Min_detects_per_pattern <d [d]>]
[-CApture_cycles <d>]
[-CHAin_test <OFf | 0011 | 0101 | 1000 |
0111 | <bit_string> <R | C>>]
[-CHeckpoint <<interval_time>
Set Build
Set BUIld
[-DELete_unused_gates | -
NODelete_unused_gates]
[-Merge <Equivalent_dlat_dff |
EQUIVALENT_Initialized_dlat_dff |
NOEquivalent_dlat_dff | FLipflop_from_dlat |
FLIPFLOP_Cell_from_dlat |
NOFLipflop_from_dlat | Dlat_from_flipflop |
NODlat_from_flipflop | Wire_to_buffer |
NOWire_to_buffer | Mux_from_gates |
MUXPins_from_gates | MUXX_from_gates |
NOMux_from_gates | Xor_from_gates |
XORPins_from_gates | NOXor_from_gates |
Cascaded_gates_with_pin_loss |
NOCascaded_gates_with_pin_loss |
Tied_gates_with_pin_loss |
NOTied_gates_with_pin_loss |
Global_tie_propagate |
Set Buses
Set BUSes
[-External_z <X | 0 | 1 | Z>]
[-Fault_contention <And | Or | X>]
[-Contention_status <<Ignore | NOIgnore>
<gate_id |pin_pathname | All>]
[-Zstate_status <<Ignore | NOIgnore>
<gate_id | pin_pathname | All>>]
This command controls the behavior of bus
gates. It sets the behavior of the Z state for
external pins and the fault machine contention
value for buses with contending values.
Set Commands
Set COMmands [History | NOHistory] [NOAbort
| Abort | Exit]
This command determines whether TetraMAX
maintains a command history and the action
taken when an error occurs during command file
execution (abort, continue, or exit).
Set Contention
Set CONtention [ABus | NOABus] [BIdi |
NOBIdi] [Bus | NOBus]
[Dff_dlat | NODff_dlat] [Float | NOFloat]
[Ram | NORam]
[WIre | NOWIre]
[-Atpg | -NOAtpg] [-Capture | -NOCapture]
[-Multiple_on | -NOMultiple_on]
[-REtain_bidi | -NOREtain_bidi]
[-Severity <Error | WArning | Ignore>]
[-Preclock | -NOPreclock]
[-Verbose | -NOVerbose]
Set Delay
Set DElay
[-PI_changes | -NOPI_changes]
[-PO_measures | -NOPO_measures]
[-ALLOW_Reconverging_paths | -
NOALLOW_Reconverging_paths]
[-DIagnostic_propagation | -
NODIagnostic_propagation]
[-Mask_nontarget_paths | -
NOMask_nontarget_paths] [-RElative_edge | -
NORElative_edge]
[-RObust_fill | -NORObust_fill]
[-Launch_cycle <Last_shift | System_clock |
Any>]
[-DAta <path_name>]
[-Simulate_hazards | -NOSimulate_hazards]
[-COmmon_launch_capture_clock | -
NOCOmmon_launch_capture_clock]
[-TWO_clock_transition_optimization | -
NOTWO_clock_transition_optimization]
[-ALLOW_Multiple_common_clocks | -
NOALLOW_Multiple_common_clocks]
[-SLow_equivalence | -NOSLow_equivalence]
[-DISturb_clock_grouping]
[-NODISturb_clock_grouping]
[-TRAnsition_clocking_checks]
[-NOTRAnsition_clocking_checks]
[-MAX_Delta_per_fault <value>]
[-SLACKDATA_FOR_Atpg]
[-NOSLACKDATA_FOR_Atpg]
[-SLACKDATA_FOR_Faultsim]
[-NOSLACKDATA_FOR_Faultsim]
[-Clock_period <f>]
[-SDQL_coefficient <{n1 n2}>]
[-MAX_Tmgn <f>] [-MUlticycle_length <d>]
This command sets options for use in transition
fault and path delay fault test generation and
fault simulation.
Set Distributed
Set DIstributed [-SHELL_Timeout <d>]
[-SLave_setup_timeout <d>]
[-PRint_stats_timeout <d>]
[-SCript <user defined tmax script>]
[-Work_dir <work directory>]
[-SHELL <type of shell: rsh, ssh, remsh>]
[-Verbose | -NOVerbose]
This command controls the amount of time the
system is given to perform various distributed
processor-related communications, and
identifies the location of a common working
directory that the machines performing a
distributed fault simulation task will share to
exchange information. Every machine sharing
this task must have read/write/execute rights to
this directory.
Set Faults
Set Faults
[-Model <Stuck | Iddq | Transition |
Path_delay | Bridging>]
[-Report <Collapsed | Uncollapsed>]
[-Pt_credit <d>] [-AU_credit <d>]
[-ATpg_effectiveness | -
NOAtpg_effectiveness]
[-Fault_coverage | -NOFault_coverage]
[-Equiv_code <code_name> | -NOEquiv_code]
[-Summary <Verbose | NOVerbose>]
[-BRIDGE_Inputs | -NOBRIDGE_Inputs]
This command specifies the type of fault model
used for pattern generation and the
characteristics of the fault report.
The three primary fault models are the stuck-at
model, used for standard test pattern generation;
the IDDQ model, used to generate quiescent
states for IDDQ testing; and the transition delay
fault model, used to detect slow-to-rise and slow-
to-fall faults.
You can control fault reporting characteristics
such as collapsed versus uncollapsed faults,
credit for potentially detected (PT) and ATPG
Set IDDQ
Set Iddq
[Float | NOFloat] [Strong | NOStrong]
[WEak | NOWEak] [WRite | NOWRite]
[-Atpg | -NOAtpg] [-Toggle | -NOToggle]
[-Exclude_ports <None | Bidis | All>]
This command specifies the conditions
considered during IDDQ test pattern generation.
The command settings are valid only if the IDDQ
fault model has been selected with the set
faults command.
In the set iddq command, an assertive
keyword such as float means that the
condition is considered and therefore avoided for
IDDQ pattern generation. A negative keyword
such as nofloat means that the condition is
not considered and therefore allowed for IDDQ
pattern generation.
Set Learning
Set Learning
[-Atpg_equivalence | -NOAtpg_equivalence]
[-Module_learning | -NOModule_learning | -
Common_input | -NOCommon_input]
[-Equivalent_latches | -
NOEquivalent_latches]
[-Implication <Low | Medium | High> | -
NOImplication]
[-MAX_FEedback_sources <d>]
[-Sim_passes <d>] [-Test_passes <d>]
[-Verbose | -NOVerbose] [-nomodule]
[-DISable_time_limit]
[-NODISable_time_limit]
This command sets the parameters for the
learning process that TetraMAX performs
immediately after it builds a model. During this
process, each gate can be assigned a learned
Set Messages
Set Messages
[-Display | -NODisplay]
[-Double_slash | -NODouble_slash]
[-NOLog | -Log <filename>] [-Replace | -
Append]
[-Level <Expert | Standard>]
[-Transcript_comments |
-NOTranscript_comments]
This command sets the parameters for the
generation and display of messages in the
transcript window.
Set Netlist
Set Netlist [-Pin_assign | -NOPin_assign]
[-EScape <Cond | All | None>] [-SCalar_net |
-NOSCalar_net]
[-Max_errors <d>]
[-REDefined_module <First | Last>]
[-Dominance_detection <ON | OFf | Boolean>]
[-CElldefine | -NOCElldefine]
[-ENable_portfaults | -NOENable_portfaults]
[-SUppress_faults | -NOSUppress_faults]
[-Xmodeling | -NOXmodeling]
[-SEquential_modeling | -
NOSEquential_modeling]
[-CHeck_only_used_udps | -
NOCHeck_only_used_udps]
[-COnservative_mux <None | Combinational_udp
| All>]
Set Patterns
Set PAtterns [Internal|Random|Bist|External
<filename>]
-Delete
[-SEnsitive | -INSensitive]
[-STROBE_Comments <comments>]
[-STROBE_Period <<d> <FS|PS|NS|US|MS|S>>]
[-STROBE_Rising <port_name>]
[-STROBE_Falling <port_name>]
[-STROBE_Event < >] [-STROBE_Offset < >]
[-Histogram_summary | -NOHistogram_summary]
[-Load_summary | -NOLoad_summary]
[-NOVCD_clock | -VCD_clock <<Auto> | <0|1>
<port>>]
[-VERIlog_last_scan | -NOVERIlog_last_scan]
[-translate_dbist_patterns]
[-EXPAND_xdbist_patterns]
[-Cycle_count | -NOCycle_count]
[-Netlist_independent]
[-NONetlist_independent] [-APPend]
[-Measure_forced_bidis | -
NOMeasure_forced_bidis]
[-external <filename>]
This command specifies the source of patterns to
use for simulation, fault simulation, or test
generation. You can select internally generated
patterns, random patterns (as defined by the set
random_patterns command), or an external
pattern file (the method used to read ATPG or
functional patterns).
External pattern files can be in any of the
following formats: binary, extended VCD
(VCDE), STIL, Verilog, VHDL, and WGL. For
patterns in VCDE format, you can optionally
specify the strobe trigger conditions for
measuring expected values.
Set Primitive_report
Set PRimitive_report
[-Max_fanout <d>]
[-Interval <d>]
[-Time <Clock | PReclock | POstclock | Lete
| All>]
[-Verbose | -FAST_lookup | -FAST_NOLCS | -
NOFAST_lookup]
This command specifies the type of information
displayed by the report primitives
command, including the pin data spacing
interval, the number of fanout connections, and
the time with respect to the capture clock at
which to display the data.
Set Rules
Set RUles
[rule_id] [Error | Warning | Ignore]
[-Mask | -NOMask]
[-AUtofix | -NOAUtofix] [-reset]
This command sets the rule severity (error,
warning, or ignore) for a specified rule (for
example, C1 or N2). For certain DRC rules, you
can optionally mask the control or observe
functionality of the affected sequential elements
to improve the ability to create patterns that pass
in simulation, at the cost of lowered test
coverage.
set_sdc
set_sdc [-Verbose | -NOVerbose]
[-CAse_paths | -NOCase_paths]
[-Instance <instance_name>]
[-Environment <Tmax_drc | Sdc_case_analysis
| None>]
Set Simulation
Set Simulation
[-Bidi_fill | -NOBidi_fill | -
STRong_bidi_fill | -WEAk_bidi_fill]
[-Data <<first_pattern> <last_pattern>>]
[-Measure <Sim | Pat>]
[-Oscillation <<num_passes>
<num_additional_fault_passes>>]
[-Words_per_pass <d>] [-Verbose | -
NOVerbose] [-BAsic_scan | -NOBAsic_scan]
[-STOre_memory_contents <pattern_id | LAst>
| -NOSTOre_memory_contents]
[-XClock_gives_xout | -NOXClock_gives_xout]
[-XFill_out_of_range_write | -
NOXFill_out_of_range_write]
This command sets the parameters for
simulations run with the run simulation and
run fault_sim commands. You can control the
simulation algorithm (Basic-Scan or sequential),
the bidirectional port driving mode, the source of
expected data for fault simulation, and so on.
Set TRC
Set TRc
filename [label...] |
-NOFile < [label]... |
-All >
This command selects the Tester Rule Checks to
be performed after DRC or with the run trc
command. Note: The syntax for the -nofile option
requires either a label or the -All option. The
need for the labels is different for the filename
and the -nofile versions of this command.
Set WGL
Set WGl
[-Bidi_map <<ab> <cd>>]
[-Scan_map <Dash | Bidi | Keep | None >]
[-Macro_usage | -NOMacro_usage]
[-PAd | -NOPad] [-Last_scan | -NOLast_scan]
[-Group_bidis | -NOGroup_bidis]
[-Tester_ready | -NOTester_ready | -
PRe_measured]
[-INversion_reference <Master | Cell | Omit
>]
[-FOrces_during_load <Allow_x |
Previous_values | No_x>]
[-Chain_list <All | Shift>]
[-0] [-1] [-x] [-z] [-identical_bidi_map]
This command sets the parameters for WGL
pattern generation. You can specify whether to
force unspecified inputs during load, whether to
generate scan or parallel vectors for the last
patterns, whether to use macros, whether to pad
the shorter scan chains, and so on.
System
SYstem command_string
This command executes UNIX shell commands.
The command string is passed to the default
shell and executed. The command string may be
enclosed in double quotes.
NOTE: The standard input and standard output
of this command is not available in TetraMAX.
Progress or status from this command is not
shown in the transcript.
Test
TEST
This command manually returns a TetraMAX
session to the TEST command mode, allowing
you to execute commands that operate only in
that mode.
Unalias
UNALias <alias_name | -All>
This command removes a specified alias
definition, or all definitions, created by the alias
command.
Update Wft
Update Wft <-Wft <wft_name>> [-Period <d>]
[-Force <d>] [-Strobe <d>] [-Unit <ps | ns>]
This command changes any of the period, force-
event timing, or measure-event timing
parameters within a specific named
WaveformTable. It can be used only after the
read drc command.
Write Drc_file
Write Drc_file
filename
[-Replace] [-Compress <Gzip | Binary> ]
[-Scancells] [-Generic_captures]
This command writes a test protocol file in STIL
format based on the current clocks, PI
constraints, PI equivalences, pin timing, and
known STIL procedure files or Synopsys protocol
files.
Write Image
Write Image <file_name> [-COMpress <Gzip |
Binary | Off>] [-Replace] [-Violations] [-
NEtlist_data]
This command after a successful DRC run writes
the TetraMAX database to a file.
Note: This command does not write patterns out
to the image file.
Write Netlist
Write Netlist <filename> [-Replace] [-Top
<top_name>] [-Format <Edif [External] |
VErilog>] [-Compress <Gzip | Binary>] [-STOp
<Edif | VErilog | VHdl | Design_level>]
This command writes netlist data to an external
netlist file in a specified format. You can use
compression to minimize the size of the file.
Note: Net connections added with the add net
connections command are not reflected in the
netlist written.
Write Patterns
Write Patterns
<filename> [-CELlnames <Internal | Verilog>]
[-COMpress <Gzip | Binary>]
[-EXClude <Setup | Repeat_setup | Patterns |
All>] [-FIrst <d>] [-Last <d>]
[-FOrmat <Binary | Stil | STIL99 |
VErilog_tables | VERILOG_Single_file | VHdl
| VHDL93 | Wgl| TStl2 | Ftdl | TDl91 |
WGL_Flat>]
[-CONfig_file <cfilename>] [-Internal | -
EXTernal] [-Measure_forced_bidis]
[-NOCompaction] [-NOOverlap_load]
[-Order_pins] [-PAD_character <0 | 1 | X >]
[-Replace] [-SErial | -PARallel |
num_shifts]
[-SOrted | -REOrder <file_name> | -Type
<Basic_scan | Clock_on_measure |
FAst_sequential | FUll_sequential>]
[-SPlit <d>]
[-Verilog_testbench_name <<name>>] [-STil]
[-NOEXPAND_VEctor | -EXPAND_VEctor] [-VCS]
[-MTI] [-XL] [-NC]
This command writes ATPG patterns to a file in
one of the supported formats: FTDL, STIL,
TDL91, TSTL2, Verilog, VHDL, VHDL93, WGL,
Write Simtrace
Write SImtrace <filename> [-Replace] [-Scan
<scanchainref>] [-Gate <gateidref>] [-Length
<d>] [-Verilog | -Dpv]
This command assists in debugging ATPG
pattern miscompares found during Verilog
simulation. It facilitates the creation of a Verilog
module by adding simulation data to be used for
comparison with TetraMAX.
Index to Commands 69
Exit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Get Licences . . . . . . . . . . . . . . . . . . . . . . . . 15
GSV GET Selected Cells . . . . . . . . . . . . . . . . 16
GSV Print . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Gui_Start . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Gui_Stop . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Help . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Layout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
ls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
man . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
mkdir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
mv . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
pwd . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
quit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Read DRC . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Read Faults . . . . . . . . . . . . . . . . . . . . . . . . . 19
Read Image . . . . . . . . . . . . . . . . . . . . . . . . . 19
Read Layout . . . . . . . . . . . . . . . . . . . . . . . . . 19
Read Memory_file . . . . . . . . . . . . . . . . . . . . . 20
Read Netlist . . . . . . . . . . . . . . . . . . . . . . . . . 20
Read Nofaults . . . . . . . . . . . . . . . . . . . . . . . . 20
Read Slow Path . . . . . . . . . . . . . . . . . . . . . . 21
Read Timing . . . . . . . . . . . . . . . . . . . . . . . . . 21
read_sdc . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Refresh Schematic . . . . . . . . . . . . . . . . . . . . 22
Remove ATPG Constraints . . . . . . . . . . . . . . 22
Remove ATPG Primitives . . . . . . . . . . . . . . . 22
Remove Capture Masks . . . . . . . . . . . . . . . . 22
Remove Cell Constraints . . . . . . . . . . . . . . . . 23
Remove Clocks . . . . . . . . . . . . . . . . . . . . . . 23
Remove Compressors . . . . . . . . . . . . . . . . . . 23
Remove Delay Paths . . . . . . . . . . . . . . . . . . 23
Remove Display Gates . . . . . . . . . . . . . . . . . 23
Remove Distributed Processor . . . . . . . . . . . . 24
Remove Faults . . . . . . . . . . . . . . . . . . . . . . . 24
Remove Licenses . . . . . . . . . . . . . . . . . . . . . 24
Remove Mode Ports . . . . . . . . . . . . . . . . . . . 25
Remove Net Connections . . . . . . . . . . . . . . . 25
Remove Nofaults . . . . . . . . . . . . . . . . . . . . . 25
Remove PI Constraints . . . . . . . . . . . . . . . . . 25
70 Index to Commands
Remove PI Equivalences . . . . . . . . . . . . . . . . 25
Remove PO Masks . . . . . . . . . . . . . . . . . . . . 26
Remove Scan Chains . . . . . . . . . . . . . . . . . . 26
Remove Scan Enables . . . . . . . . . . . . . . . . . 26
Remove Slow Bidis . . . . . . . . . . . . . . . . . . . . 26
Remove Slow Cells . . . . . . . . . . . . . . . . . . . . 27
Remove Slow Path . . . . . . . . . . . . . . . . . . . . 27
Remove Waveform Signals . . . . . . . . . . . . . . 27
Report ATPG Constraints . . . . . . . . . . . . . . . 27
Report ATPG Primitives . . . . . . . . . . . . . . . . 27
Report Bist . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Report Buses . . . . . . . . . . . . . . . . . . . . . . . . 28
Report Capture Masks . . . . . . . . . . . . . . . . . 29
Report Cell Constraints . . . . . . . . . . . . . . . . . 29
Report Clocks . . . . . . . . . . . . . . . . . . . . . . . . 29
Report Commands . . . . . . . . . . . . . . . . . . . . 29
Report Compressors . . . . . . . . . . . . . . . . . . . 30
Report Delay Paths . . . . . . . . . . . . . . . . . . . . 30
Report Display Gates . . . . . . . . . . . . . . . . . . 30
Report Faults . . . . . . . . . . . . . . . . . . . . . . . . 30
Report Feedback Paths . . . . . . . . . . . . . . . . . 31
Report Instances . . . . . . . . . . . . . . . . . . . . . 32
Report Layout . . . . . . . . . . . . . . . . . . . . . . . . 32
Report Licenses . . . . . . . . . . . . . . . . . . . . . . 32
Report Memory . . . . . . . . . . . . . . . . . . . . . . . 32
Report Mode Ports . . . . . . . . . . . . . . . . . . . . 33
Report Modules . . . . . . . . . . . . . . . . . . . . . . 33
Report Net Connections . . . . . . . . . . . . . . . . 33
Report Nets . . . . . . . . . . . . . . . . . . . . . . . . . 33
Report Nofaults . . . . . . . . . . . . . . . . . . . . . . . 33
Report Nonscan Cells . . . . . . . . . . . . . . . . . . 34
Report Patterns . . . . . . . . . . . . . . . . . . . . . . 34
Report PI Constraints . . . . . . . . . . . . . . . . . . 34
Report PI Equivalences . . . . . . . . . . . . . . . . . 35
Report Pin Data . . . . . . . . . . . . . . . . . . . . . . 35
Report PO Masks . . . . . . . . . . . . . . . . . . . . . 35
Report Primitives . . . . . . . . . . . . . . . . . . . . . 35
Report Rules . . . . . . . . . . . . . . . . . . . . . . . . 35
Report Scan Ability . . . . . . . . . . . . . . . . . . . . 36
Report Scan Cells . . . . . . . . . . . . . . . . . . . . . 36
Index to Commands 71
Report Scan Chains . . . . . . . . . . . . . . . . . . . 36
Report Scan Enables . . . . . . . . . . . . . . . . . . 37
Report Scan Path . . . . . . . . . . . . . . . . . . . . . 37
Report Settings . . . . . . . . . . . . . . . . . . . . . . . 37
Report Slow Bidis . . . . . . . . . . . . . . . . . . . . . 38
Report Slow Cells . . . . . . . . . . . . . . . . . . . . . 38
Report Slow Path . . . . . . . . . . . . . . . . . . . . . 38
Report Summaries . . . . . . . . . . . . . . . . . . . . 38
Report TRC . . . . . . . . . . . . . . . . . . . . . . . . . 38
Report Version . . . . . . . . . . . . . . . . . . . . . . . 39
Report Violations . . . . . . . . . . . . . . . . . . . . . 39
Report Wires . . . . . . . . . . . . . . . . . . . . . . . . 39
report_sdc . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Reset AU Faults . . . . . . . . . . . . . . . . . . . . . . 39
Reset State . . . . . . . . . . . . . . . . . . . . . . . . . 40
rm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Run ATPG . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Run Build_model . . . . . . . . . . . . . . . . . . . . . 40
Run Diagnosis . . . . . . . . . . . . . . . . . . . . . . . 41
Run DRC . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Run Fault_sim . . . . . . . . . . . . . . . . . . . . . . . 42
Run Justification . . . . . . . . . . . . . . . . . . . . . . 42
Run Mapping . . . . . . . . . . . . . . . . . . . . . . . . 43
Run Observe Analysis . . . . . . . . . . . . . . . . . . 43
Run Pattern_compression . . . . . . . . . . . . . . . 44
Run Simulation . . . . . . . . . . . . . . . . . . . . . . . 44
Run Test Point Analysis . . . . . . . . . . . . . . . . 45
Run TRC . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Set ATPG . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Set Bist . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Set Build . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Set Buses . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Set Colors . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Set Commands . . . . . . . . . . . . . . . . . . . . . . . 49
Set Compressor Connections . . . . . . . . . . . . 49
Set Contention . . . . . . . . . . . . . . . . . . . . . . . 49
Set Delay . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Set Diagnosis . . . . . . . . . . . . . . . . . . . . . . . . 51
Set Distributed . . . . . . . . . . . . . . . . . . . . . . . 51
Set DRC . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
72 Index to Commands
Set Environment GUI . . . . . . . . . . . . . . . . . . 53
Set Environment Info . . . . . . . . . . . . . . . . . . . 53
Set Environment Reports . . . . . . . . . . . . . . . . 54
Set Environment Transcript . . . . . . . . . . . . . . 54
Set Environment Viewer . . . . . . . . . . . . . . . . 54
Set Faults . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
Set IDDQ . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Set Learning . . . . . . . . . . . . . . . . . . . . . . . . . 56
Set Messages . . . . . . . . . . . . . . . . . . . . . . . . 57
Set Netlist . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Set Patterns . . . . . . . . . . . . . . . . . . . . . . . . . 58
Set Pindata . . . . . . . . . . . . . . . . . . . . . . . . . 59
Set Primitive_report . . . . . . . . . . . . . . . . . . . 59
Set Random_patterns . . . . . . . . . . . . . . . . . . 60
Set Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Set Scan Ability . . . . . . . . . . . . . . . . . . . . . . 60
Set Simulation . . . . . . . . . . . . . . . . . . . . . . . 61
Set TRC . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
Set WGL . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
Set Workspace Sizes . . . . . . . . . . . . . . . . . . 62
set_sdc . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Source . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
System . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Unalias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Update Clock . . . . . . . . . . . . . . . . . . . . . . . . 64
Update Wft . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Usage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
Write DRC_file . . . . . . . . . . . . . . . . . . . . . . . 64
Write Faults . . . . . . . . . . . . . . . . . . . . . . . . . 65
Write Image . . . . . . . . . . . . . . . . . . . . . . . . . 65
Write Netlist . . . . . . . . . . . . . . . . . . . . . . . . . 65
Write Patterns . . . . . . . . . . . . . . . . . . . . . . . . 66
Write Sim Trace . . . . . . . . . . . . . . . . . . . . . . 67
Write Slow Path . . . . . . . . . . . . . . . . . . . . . . 67
Write TRC . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Index to Commands 73
74 Index to Commands