Tshell Ijtag User
Tshell Ijtag User
Tshell Ijtag User
Document Revision 6
This document contains information that is proprietary to Mentor Graphics Corporation. The original recipient of this
document may duplicate this document in whole or in part for internal business purposes only, provided that this entire
notice appears in all copies. In duplicating any part of this document, the recipient agrees to make every reasonable
effort to prevent the unauthorized use and distribution of the proprietary information.
Note - Viewing PDF files within a web browser causes some links not to function (see MG595892).
Use HTML for full navigation.
This document is for information and instruction purposes. Mentor Graphics reserves the right to make
changes in specifications and other information contained in this publication without prior notice, and the
reader should, in all cases, consult Mentor Graphics to determine whether any changes have been
made.
The terms and conditions governing the sale and licensing of Mentor Graphics products are set forth in
written agreements between Mentor Graphics and its customers. No representation or other affirmation
of fact contained in this publication shall be deemed to be a warranty or give rise to any liability of Mentor
Graphics whatsoever.
MENTOR GRAPHICS MAKES NO WARRANTY OF ANY KIND WITH REGARD TO THIS MATERIAL
INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS FOR A PARTICULAR PURPOSE.
MENTOR GRAPHICS SHALL NOT BE LIABLE FOR ANY INCIDENTAL, INDIRECT, SPECIAL, OR
CONSEQUENTIAL DAMAGES WHATSOEVER (INCLUDING BUT NOT LIMITED TO LOST PROFITS)
ARISING OUT OF OR RELATED TO THIS PUBLICATION OR THE INFORMATION CONTAINED IN IT,
EVEN IF MENTOR GRAPHICS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.
U.S. GOVERNMENT LICENSE RIGHTS: The software and documentation were developed entirely at
private expense and are commercial computer software and commercial computer software
documentation within the meaning of the applicable acquisition regulations. Accordingly, pursuant to
FAR 48 CFR 12.212 and DFARS 48 CFR 227.7202, use, duplication and disclosure by or for the U.S.
Government or a U.S. Government subcontractor is subject solely to the terms and conditions set forth in
the license agreement provided with the software, except for provisions which are contrary to applicable
mandatory federal laws.
TRADEMARKS: The trademarks, logos and service marks ("Marks") used herein are the property of
Mentor Graphics Corporation or other parties. No one is permitted to use these Marks without the prior
written consent of Mentor Graphics or the owner of the Mark, as applicable. The use herein of a third-
party Mark is not an attempt to indicate Mentor Graphics as a source of a product, but is intended to
indicate a product from, or associated with, a particular third party. A current list of Mentor Graphics’
trademarks may be viewed at: www.mentor.com/trademarks.
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of
Linus Torvalds, owner of the mark on a world-wide basis.
Author: In-house procedures and working practices require multiple authors for documents. All
associated authors for each topic within this document are tracked within the Mentor Graphics
Technical Publication’s source. For specific topic authors, contact Mentor Graphics Technical
Publication department.
Revision History: Released documents maintain a revision history of up to four revisions. For
earlier revision history, refer to earlier releases of documentation which are available at the
following URL:
https://support.mentor.com
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
4 Tessent® IJTAG User’s Manual, v2017.3
September 2017
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Table of Contents
Revision History
Chapter 1
Introduction to Tessent IJTAG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Tessent IJTAG Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
ICL and PDL Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
License Usage/Requirements. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Chapter 2
ICL and PDL Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
ICL Instrument Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
How to Build an ICL Netlist . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
How to Model Global Reset, Local Reset and Embedded TAPs . . . . . . . . . . . . . . . . . . . . . 23
How to Define an iProc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
How to Call an iProc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Chapter 3
A Typical PDL Retargeting Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
The Basic PDL Retargeting Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Invoke Tessent Shell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Set the IJTAG Context and System Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Read ICL Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Read PDL Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Set the Retargeting Level . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Define Clocks and Timing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Test Clock. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Synchronous System Clock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Asynchronous System Clock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Design Rule Checks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Create Pattern Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Write PDL, Pattern, and Test Bench Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Exit the Tool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Optional Elements of a PDL Retargeting Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Test Setup and Test End Procedures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
How to Define and Use Clocks Outside ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
How to Constrain Inputs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Report Generation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
IJTAG Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
How to Run iCalls in Parallel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
PDL Specialties and Exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
iMerge Conflict Reporting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
PDL Retargeting Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Chapter 4
ICL Extraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
ICL Extraction Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Required Inputs for ICL Extraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Optional Inputs for ICL Extraction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Performing ICL Extraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
Top-Down and Bottom-Up ICL Extraction Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Top-Down ICL Extraction Flow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Bottom-Up ICL Extraction Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
ICL Extraction Design Rule Checks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Debugging DRC Violations with DFTVisualizer. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
How to Influence the ICL Extraction Process . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
How to Influence ICL Extraction through Commands. . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
How to Influence ICL Extraction Through ICL Module Attributes. . . . . . . . . . . . . . . . . . 84
ICL Network Extraction of Parameterized Modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
ICL Extraction Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
Chapter 5
IJTAG Network Insertion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
The IJTAG Network Insertion Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
IJTAG Network Insertion Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Modification of the IJTAG Network Insertion Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
How to Edit or Modify a DftSpecification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
DftSpecification Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Chapter 6
IJTAG and ATPG in Tessent Shell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
IJTAG ATPG Flow Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
IJTAG Features of ATPG in Tessent Shell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
EDT IP Setup for IJTAG Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
How to Set Up Embedded Instruments Through Test Procedures . . . . . . . . . . . . . . . . . . . 113
How to Set Up Embedded Instruments Through the Dofile. . . . . . . . . . . . . . . . . . . . . . . . 114
Implicit and Explicit iReset Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
A Detailed IJTAG ATPG Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
Chapter 7
IJTAG Examples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
ICL Modeling versus Verilog Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
ICL Namespaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
PDL Namespaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
How to Define Default Values in ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Attributes of the ICL Extraction Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Scan Chain Integrity Test in Tessent IJTAG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
How to Define Auto-Return Values in ICL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
How to Model Addressable Registers in ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Chapter 8
Verification and Debug of IJTAG Instruments and Networks . . . . . . . . . . . . . . . . . . . . . 135
General Guidelines for Debugging Simulation Results. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Creating ICL Verification Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
Using ICL Verification Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136
ICL Verification Patterns Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Displaying the Comparison Failure Counter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
Appendix A
Getting Help . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
The Tessent Documentation System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
Mentor Support Services . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
Third-Party Information
End-User License Agreement
Tessent IJTAG is Mentor Graphics implementation of the IEEE 1687-2014 (IJTAG) standard.
It includes the following primary aspects:
• Hardware Rules — For IEEE 1687 instruments including port functions, timing, and
connection rules.
• Instrument Connectivity Language (ICL) — Describes isolated nodes, and partial or
complete networks. This enables retargeting pin/register read/writes to scan commands.
• Procedural Description Language (PDL) — Describes instrument usage at a given
level and facilitates automatic retargeting to any higher level.
Figure 1-1 illustrates an example high-level IJTAG implementation.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Introduction to Tessent IJTAG
Tessent IJTAG Flow
Table 1-1 provides a high level overview of the flow and detailed description of each step of the
flow.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Introduction to Tessent IJTAG
Tessent IJTAG Flow
The tool loads this information into the internal ICL database.
See “Read ICL Files” and “Read PDL Files.”
Pattern Retargeting Level After Tessent Shell has read in the ICL descriptions, you have
access to IJTAG-specific commands such as iProc, iCall, iNote,
iRead, iApply and so on.
The tool can retarget the PDL commands from instrument level
up to chip level. See “A Typical PDL Retargeting Flow.”
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Introduction to Tessent IJTAG
ICL and PDL Limitations
For more information, see “Write PDL, Pattern, and Test Bench
Files.”
ICL Extraction An optional step of the Tessent IJTAG flow is the extraction of
interconnection information of the various IJTAG building
blocks from the flat design netlist.
• ICL namespaces:
ICL modules can only be placed into the global ICL namespace, each ICL module name
must be unique at this global level.
• Call back data registers are not supported, the ReadCallBack and WriteCallBack
properties cannot be used within a DataRegister definition.
• The AccessTogether property of the alias construct.
• The AllowBroadcastingOnScanInterface property of the Instance construct.
• Backslashes in ICL strings are interpreted as escaping indicators only if the next
character is a backslash or double quotes. If the next character is something else, the
backslash is interpreted as an ordinary character of the string.
PDL features described in IEEE 1687-2014 but not yet supported by Tessent IJTAG:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Introduction to Tessent IJTAG
License Usage/Requirements
License Usage/Requirements
An IJTAG license is required for stand-alone verification of non-Tessent or non-Mentor
Instruments irrespective of where the Instruments are to be used. With the IJTAG license, the
ICL and PDL created for the Instrument can be validated by using commands such as iWrite,
iRead, iApply etc. With the use of these ICL and PDLs you can generate test benches and
simulate these test benches with the Verilog model of the Instrument.
Any license other than FastScan or TessentScan (formerly called DFTAdvisor) can be used to
connect non-Tessent/non-Mentor instruments to an IJTAG network as long as there is at least
one Tessent Instrument in the design or at least one Tessent Instrument is inserted along with
the non-Tessent/non-Mentor Instrument. Similarly, any license other than FastScan or
TessentScan can be used to write into any non-Tessent Instrument in the IJTAG network as long
as there is at least one Tessent Instrument connected to the IJTAG network. To read from a
non-Tessent Instrument requires an IJTAG license (that is, to use iRead from any non-Tessent
Instrument requires an IJTAG license).
Setting up or using any Tessent IP/Instrument via the IJTAG network does not require an
IJTAG license. The license that creates the Tessent IP/Instrument can be used to set it up via the
IJTAG network.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Introduction to Tessent IJTAG
License Usage/Requirements
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 2
ICL and PDL Modeling
This chapter provides some insight into ICL and PDL without rephrasing the entire IEEE 1687
document, but provides enough information so you can understand the remainder of the user
guide.
Additionally, the “IJTAG Examples” chapter later in this document provides more examples.
You can also download several complete example test cases from Support Center. These
example test cases are also a good source of information for learning about ICL, PDL and how
to use Tessent IJTAG.
ScanInPort si;
ScanOutPort so { Source R[0]; }
SelectPort en;
ShiftEnPort se;
CaptureEnPort ce;
UpdateEnPort ue;
TCKPort tck;
ScanRegister R[7:0] {
ScanInSource si;
}
}
With these keywords come a direction (input or output), but more importantly a semantic and
timing. For example, the port name 'se' is the shift enable port. For a human, these semantics
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Build an ICL Netlist
allow a good level of understanding of the intention of the ports, their usage, and eventually, the
operation of the instrument. From a tool point of view, these semantics allow for very thorough
design rule checks. For example, the scan in port si may not be driven by a data output port of
another instrument. Instead, it must be connected to a scan output port.
IEEE 1687 has an explicit timing of events defined through the standard. For example, to be
able to shift into the scan input port, the enable signal se has to be active high, the scan data has
to arrive at si, and meet setup and hold time requirements around the rising edge of TCK. The
speed of the clock and the exact timing of these events is up to the application tool and the
implementation in hardware. There is no method of defining the period of a clock in ICL or
PDL.
After the listing of the ports, this example shows an 8-bit scan register named R. The keywords
in the attribute section of the scan register declaration are the ICL code between the brackets
({}). These keywords provide further information about the scan register. The example also
declares that the scan data for R comes directly from the scan input port si. Again, the standard
defines that the shift direction in R is from the left to the right. Accordingly, si is connected to
R[7], and as shown in the attribute part of the ScanOutPort, so is connected to R[0]. If the
register was declared as R[1:8], then it would shift from R[1] to R[8]. Understand that these
connections are implicit per the definition of the standard. They do not need to be modeled and
cannot be changed.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Build an ICL Netlist
The task now is to instantiate each instrument, connect them, and create a top-level ICL
description, you name chip. The name of the top ICL module must match the module name of
the corresponding design module described in Verilog or VHDL. All ports found in the top ICL
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Build an ICL Netlist
module must exist in the design module though the design module is likely to have extra,
non-IJTAG ports. The top ICL module is shown in the following example:
Module chip {
TCKPort tck;
ScanInPort tdi;
ScanOutPort tdo { Source MyTap.tdo; }
TMSPort tms;
TRSTPort trst;
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
Note that you must define the port connections of an instrument and ensure that the connections
of each input port are declared. Consequently, the connection list of each instrument
instantiation only lists input ports and the ports driving them. For example, the input port si of
the instance MyTdr2 of the instrument tdr2 is driven by the port so of instance MySib1 as shown
here:
All those topics are related to the following three types of signals in the ICL description: reset
signals, trst signals and tms signals. These signals can be either explicitly connected in the ICL
description, or implicitly connected by the tool.
For the sake of completeness, the next pages show the set of rules that determine the implied
connectivity of reset signals, trst signals, tms signals and registers with ResetValue
specification. If certain special features are required, like a Local Reset or the isolation of an
embedded TAP, these signals will usually have to be connected explicitly in the ICL
description. But for the understanding of the modeled behavior of an IJTAG network during a
Global Reset or a Local Reset, it is important to know which connections between the different
parts are implied by the tool.
• If there is exactly one ResetPort in the parent module, the instance ResetPort is
connected to this parent module port.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
• If there is no ResetPort in the parent module, but in total exactly one ToResetPort in the
instances within the same parent module, the instance ResetPort is connected to this
instance output port.
• If there are neither ResetPorts in the parent module nor ToResetPorts in the instances
within the same parent module, the ResetPort is connected to the “Global Reset”, a
virtual signal that is active only in case of an iReset (synchronous as well as
asynchronous).
• If none of the above holds, the source of the ResetPort is ambiguous, which triggers the
DRC violation ICL124 (“ambiguous source of instance input port”). If the handling of
this DRC is downgraded to warning, the ResetPort is connected to the “Global Reset” as
if there was no suitable reset signal source at all.
If a ToResetPort of an ICL module is not explicitly connected using the “Source” property of
the ToResetPort specification, the tool connects the ToResetPort according to the following
rules:
• If there is exactly one ResetPort in the same module, the ToResetPort is connected to
this port.
• If there is no ResetPort in the same module, but in total exactly one ToResetPort in the
instances within the module, the ToResetPort is connected to this instance output port.
• If there are neither ResetPorts in the same module nor ToResetPorts in the instances
within the module, the ToResetPort is connected to the “Global Reset”, a virtual signal
that is active only in case of an iReset (synchronous as well as asynchronous).
• If none of the above holds, the source of the ToResetPort is ambiguous, which triggers
the DRC violation ICL123 (“ambiguous source of output port”). If the handling of this
DRC is downgraded to warning, the ToResetPort is connected to the “Global Reset” as
if there was no suitable reset signal source at all.
For the implied connections of ResetPorts and ToResetPorts, the ActivePolarity of the ports
does not have to match. Tessent Shell automatically inserts inverted connections if necessary.
• If there is exactly one TRSTPort in the parent module, the instance TRSTPort is
connected to this parent module port.
• If there is no TRSTPort in the parent module, but in total exactly one ToTRSTPort in the
instances within the same parent module, the instance TRSTPort is connected to this
instance output port.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
• If there are neither TRSTPorts in the parent module nor ToTRSTPorts in the instances
within the same parent module, the TRSTPort is connected to the “Asynchronous
Global Reset”, a virtual signal that is active only in case of an asynchronous iReset
(iReset without –sync switch).
• If none of the above holds, the source of the TRSTPort is ambiguous, which triggers the
DRC violation ICL124 (“ambiguous source of instance input port”). If the handling of
this DRC is downgraded to warning, the TRSTPort is connected to the “Asynchronous
Global Reset” as if there was no suitable trst signal source at all.
If a ToTRSTPort of an ICL module is not explicitly connected using the “Source” property of
the ToTRSTPort specification, the tool connects the ToTRSTPort according to the following
rules:
• If there is exactly one TRSTPort in the same module, the ToTRSTPort is connected to
this port.
• If there is no TRSTPort in the same module, but in total exactly one ToTRSTPort in the
instances within the module, the ToTRSTPort is connected to this instance output port.
• If there are neither TRSTPorts in the same module nor ToTRSTPorts in the instances
within the module, the ToTRSTPort is connected to the “Asynchronous Global Reset”, a
virtual signal that is active only in case of an asynchronous iReset (iReset without –sync
switch).
• If none of the above holds, the source of the ToTRSTPort is ambiguous, which triggers
the DRC violation ICL123 (“ambiguous source of output port”). If the handling of this
DRC is downgraded to warning, the ToTRSTPort is connected to the “Asynchronous
Global Reset” as if there was no suitable trst signal source at all.
Rules for the implied connections of ports of type TMSPort and ToTMSPort
If a TMSPort of an ICL module is not explicitly connected using the “InputPort” statement in
the instantiation of this module, the tool connects the TMSPort according to the following rules:
• If there is exactly one TMSPort in the parent module, the instance TMSPort is connected
to this parent module port.
• If there is no TMSPort in the parent module, but in total exactly one ToTMSPort in the
instances within the same parent module, the instance TMSPort is connected to this
instance output port.
• If there are neither TMSPorts in the parent module nor ToTMSPorts in the instances
within the same parent module, the DRC violation ICL126 (“missing source of instance
input port”) is triggered. This DRC cannot be downgraded to warning.
• If none of the above holds, the source of the TMSPort is ambiguous, which triggers the
DRC violation ICL124 (“ambiguous source of instance input port”). If the handling of
this DRC is downgraded to warning, the TMSPort is treated as if it was directly driven
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
by a top-level TMSPort. The associated TAP controllers cannot be parked, and they
cannot be prevented from reacting to the synchronous Global Reset.
If a ToTMSPort of an ICL module is not explicitly connected using the “Source” property of the
ToTMSPort specification, the tool connects the ToTMSPort according to the following rules:
• If there is exactly one TMSPort in the same module, the ToTMSPort is connected to this
port.
• If there is no TMSPort in the same module, but in total exactly one ToTMSPort in the
instances within the module, the ToTMSPort is connected to this instance output port.
• If there are neither TMSPorts in the same module nor ToTMSPorts in the instances
within the module, the DRC violation ICL125 (“missing source of output port”) is
triggered. This DRC cannot be downgraded to warning.
• If none of the above holds, the source of the ToTMSPort is ambiguous, which triggers
the DRC violation ICL123 (“ambiguous source of output port”). If the handling of this
DRC is downgraded to warning, the ToTMSPort is treated as if it was directly driven by
a top-level TMSPort. The associated TAP controllers cannot be parked, and they cannot
be prevented from reacting to the synchronous Global Reset.
The following rules apply to the implied reset connectivity of the registers with ResetValue
specifications (registers without ResetValue specification are not affected by any reset activity):
• If there is exactly one ResetPort in the parent module, the register is connected to this
parent module port.
• If there is no ResetPort in the parent module, but in total exactly one ToResetPort in the
instances within the same parent module, the register is connected to this instance output
port.
• If there are neither ResetPorts in the parent module nor ToResetPorts in the instances
within the same parent module, the register is connected to the “Global Reset”, a virtual
signal that is active only in case of an iReset (synchronous as well as asynchronous).
• If none of the above holds, the source of the ResetPort is ambiguous, which triggers the
DRC violation ICL127 (“ambiguous register reset signal”). If the handling of this DRC
is downgraded to warning, the register is connected to the “Global Reset” as if there was
no suitable reset signal source at all.
The lack of means to specify the register reset explicitly may result in the requirement to
introduce additional ICL hierarchy levels to clarify the association between registers and
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
ResetPorts. This is shown in Figure 2-2 below. In order to achieve the unique association
between the ScanRegister RegA and the ResetPort rst1 and the unique association between
ScanRegister RegB and the ResetPort rst2, the modules blockA_1 and blockA_2 must be
introduced.
A DataMux that provides (through one of its inputs with an ordinary data signal) the active
value of a ResetPort or ToResetPort can trigger the reset of all downstream registers. This sort
of reset is called Local Reset. It happens right after the update cycle that configured the
DataMux in such way that it selects the data signal with the active reset value. The Local Reset
rests until the DataMux is configured again in such way that it presents the ordinary reset signal
or an inactive reset value. (Note: The possibility to implement a self-clearing reset, as described
in the IEEE 1687-2014 standard, is currently not supported.) While the downstream registers
are subject to the Local Reset, it is not possible to make them part of the active scan path.
A DataMux that provides (through one of its inputs with an ordinary data signal) the inactive
value of a ResetPort or ToResetPort can be used to suppress the effect of a Global Reset (that is,
the reset activity that happens on behalf of an iReset command) or the effect of a higher-level
Local Reset on the downstream registers.
A trst signal can be intercepted in the same way as a reset signal. This provides the possibility to
either trigger an asynchronous Local Reset or to suppress the effect of an asynchronous Global
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
A DataMux can also be used to intercept a tms signal. If a DataMux drives the value ‘1’ to the
TMSPort of a TAP controller state machine (that is, an ICL module with a ToIRSelectPort), the
TAP controller is held in reset state. If a DataMux drives the value ‘0’ to the TMSPort of a TAP
controller state machine, the TAP controller is held in idle state. In both cases, no scan activity
can happen through this TAP controller before the TMSPort is driven with an ordinary tms
signal again. Intercepting the tms signal of a TAP controller can be used to “park” an embedded
TAP controller either in idle state or in reset state. In the latter case, the TAP controller will not
only be isolated, its registers will also be reset.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
The register reset_ctrl_B can be used to trigger a Local Reset in blockB, the register
reset_ctrl_C can be used to trigger a Local Reset in blockC. If the ResetValue specifications for
the register bit “rst_ovr” of the two registers are set to 0, then the Global Reset will
automatically trigger the reset in blockB, and the reset of blockB will automatically trigger the
reset of blockC. This is because the Global Reset resets the register reset_ctrl_B. The “rst_ovr”
bit of this register is reset to ‘0’, the associated multiplexer immediately selects the ordinary
reset signal, which is currently active (because of the Global Reset). Therefore the active reset
signal arrives at the rst input of blockB. This resets the register reset_ctrl_C. The “rst_ovr” bit of
this register is reset to ‘0’, and the associated multiplexer immediately selects the rst input of the
module blockB, which is currently active. Consequently, the reset also arrives at blockC.
In the ICL, the delay cannot be modeled, and the tool automatically handles the Local Reset
correctly. But it might be necessary to introduce additional hardware in the actual design
description (Verilog or VHDL) to ensure the correct timing. In particular, it must be ensured
that the Local Reset signal reaches all registers that are supposed to be reached before it
switches itself off again.
The following figure shows how the self-clearing Local Reset can be modeled. Note that you
need an additional hierarchy level to describe the association between the ScanRegister and the
ResetPort. ICL does not have any means to describe this association directly.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
In the figure above, blockA is the top level. blockB contains all the logic that is subject to the
Local Reset. blockC is just another block that makes use of the Local Reset. The rst_ovr bit in
the reset_ctrl register has the ResetValue ‘0’.
When the register “reset_ctrl” is loaded such that the “rst_ovr” bit contains the value ‘1’, this
value will propagate to the DataMux in blockA and will trigger a Local Reset in blockB. The
reset will also affect the register “reset_ctrl”, but only after all registers in blockC have been
reset (because of the implied delay). When the reset signal finally arrives at the register
“reset_ctrl”, it sets “rst_ovr” back to ‘0’. This switches off the Local Reset, and the scan register
“reset_ctrl” can be used for ordinary scan load activity again. The registers in blockC (if there
are any) are usable again, too. All this has been achieved with one single scan load, and there is
no need for dedicated “activate reset” and “disable reset” scan loads.
Note that the complete hardware in this example is also subject to the ordinary Global Reset,
because the inactive state of the “rst_ovr” control bit ensures that the top level reset signal from
the primary input port “rst” reaches all parts of the design.
The command “iReset” triggers an asynchronous Global Reset, the command “iReset –sync”
triggers a synchronous Global Reset.
The asynchronous Global Reset applies appropriate waveforms to the toplevel ResetPorts and
TRSTPorts. The effect of this reset is simulated in the retargeter considering all the explicit and
implied reset connections, while all internal ResetPorts, ToResetPorts, TRSTPorts,
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
ToTRSTPorts and registers, which are not connected to the reset circuitry (neither explicitly nor
implicitly), are assumed to be driven with the active reset values.
The synchronous Global Reset applies appropriate waveforms to the toplevel ResetPorts and
TMSPorts, in order to enforce the transition of the TAP state machine/machines to the state
“test logic reset”. The effect of this reset is simulated in the retargeter considering all the
explicit and implied reset connections, while all internal ResetPorts, ToResetPorts and registers,
which are not connected to the reset circuitry (neither explicitly nor implicitly), are assumed to
be driven with the active reset values. The internal TMSPorts and ToTMSPorts which are not
connected to other TMS signal sources (neither explicitly nor implicitly), are assumed to be
driven with the value ‘1’ during this reset, such that the synchronous reset is applied to the
embedded TAP controllers without explicitly connected TMSPorts, too.
An ICL module, which is meant to model the TAP state machine (that is, an ICL module with a
ToIRSelectPort specification), can have a ToResetPort. In such a configuration of ports, the
ToResetPort becomes active when either the TRSTPort of the module is active or the TMSPort
of the module is constantly driven with the value ‘1’ (which means that the TAP state machine
will arrive in the state “test logic reset”).
A ResetPort or a ToResetPort can be forced to react on asynchronous resets, only. This can be
achieved by explicitly connecting them to a TRSTPort or ToTRSTPort. A ResetPort or
ToResetPort, which is connected like this, does not react on the synchronous reset.
A Local Reset is simulated nearly in the same way as a Global Reset. The trigger for a Local
Reset is not the iReset command, but the update of a register that configures a “reset mux” or a
“trst mux” such that a reset signal or a trst signal becomes active. So the Local Reset can only
happen at the end of an iApply. The Local Reset does not have any effect on the internal
ResetPorts, ToResetPorts, TRSTPorts, ToTRSTPorts and registers that are not connected to the
reset circuitry (neither explicitly nor implicitly).
In some cases, the asynchronous Global Reset is not possible. In the following situations,
Tessent IJTAG automatically performs a synchronous Global Reset, even if the –sync switch of
the iReset command is omitted:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Model Global Reset, Local Reset and Embedded TAPs
• Unsupported features: The IEEE 1687-2014 standard describes the possibility to shift
through registers while the update stage is subject to a Local Reset. This is not
supported. Registers, which are associated with a reset signal that is constantly held
active, are treated as completely inaccessible. The active scan path cannot contain such
registers. Therefore the IJTAG network must be designed with care, such that an active
Local Reset does not cause a deadlock.
• Dedicated control registers for Local Reset: In order to prevent the retargeter from
accidentally triggering a Local Reset or from accidentally parking a TAP controller, the
register bits controlling the Local Reset and the TAP isolation must be kept separate
from the register bits that control the scan path configuration. If there were register bits
controlling both, Local Reset as well as scan path configuration, the attempt to select a
particular scan path could result in an undesirable Local Reset or in the disabling of a
TAP controller. The Design Rule ICL131 checks that the register bits do not serve
several conflicting purposes.
• Dedicated iApply commands for Local Reset: The retargeter must not try to resolve
the iWrite and iRead requirements by means of a Local Reset, because this would have
undesirable side effects on other parts of the circuit. In order to ensure that the ordinary
iRead/iWrite retargeting does not interfere with a Local Reset, all modifications on the
register bits and primary inputs controlling the Local Reset must happen in the last
iApply operation (scan load or parallel I/O operation). If this restriction makes the
retargeting of the iApply impossible, the user must separate the ordinary iRead and
iWrite commands from those which are meant to trigger/terminate the Local Reset and
use dedicated iApply commands for each of them. In such a situation, the following
message is shown:
The retargeter cannot find a solution for the current PDL
constraints without toggling the reset of at least one register in
an intermediate iApply operation (iApply operation = scan load or
primary input alteration). The ICL and the PDL must be designed such
that it is not required to toggle the register reset before the last
iApply operation. Consider splitting the iApply into several parts,
for example, one iApply to apply/terminate the Local Reset and one
iApply for the remaining PDL targets.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Define an iProc
the interception of the TMS signal of the embedded TAP) is updated by a higher-level
TAP. From this moment on, the embedded TAP controller must receive the TMS signal
again, and the state machine of the embedded TAP as well as the state machine of the
other TAPs must be running. While the other TAPs are currently in the Update-DR state,
the embedded TAP, which has just been woken up, is still in reset state. There is only
one TAP state transition left, before the retargeter assumes that all TAP controllers are
in IDLE state again. Therefore, it is crucial that the interception of the TMS ends before
the next TAP state transition is applied, such that the next state transition with TMS=0
takes the embedded TAP from reset to idle, while at the same time the other TAPs are
taken from update-DR to idle. If the signal for the termination of the TMS interception
arrives too late, the embedded TAP stays in reset state and the TAP controllers get out of
sync.
iProcsForModule tdr1
The first observation is that PDL requires that an iProc is bound to one ICL module. This
binding is accomplished with the PDL keyword iProcsForModule. All PDL iProcs following
the iProcsForModule keyword are bound to the specified module. The range of the binding is up
to the next usage of iProcsForModule and is not linked in anyway to the file in which it was
specified.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL and PDL Modeling
How to Call an iProc
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 3
A Typical PDL Retargeting Flow
This chapter describes how to perform the basic PDL retargeting flow with Tessent Shell.
The Basic PDL Retargeting Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Invoke Tessent Shell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
Set the IJTAG Context and System Modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Read ICL Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
Read PDL Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Set the Retargeting Level . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Define Clocks and Timing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Design Rule Checks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Create Pattern Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Write PDL, Pattern, and Test Bench Files . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
Exit the Tool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Optional Elements of a PDL Retargeting Flow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Test Setup and Test End Procedures. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
How to Define and Use Clocks Outside ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
How to Constrain Inputs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
Report Generation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
IJTAG Introspection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
How to Run iCalls in Parallel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
PDL Specialties and Exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
iMerge Conflict Reporting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
PDL Retargeting Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Introspection and Reporting Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
The Basic PDL Retargeting Flow
The following sections follow the flow and discuss each step separately. The sections describe
only the necessary steps for an ICL flow that uses only ICL and PDL files. Consequently, the
patterns Tessent IJTAG computes can contain only ports defined in the top level ICL module as
defined using the set_current_design command. If you need to include ports which are outside
of the ICL description, you also must read at least the top level Verilog description of your
netlist. This allows you, for example, to define the speed of a non-ICL system clock, add input
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Invoke Tessent Shell
constraints outside of the ICL, or in general have all ports of the topmost Verilog module
automatically included in the retargeted PDL test bench. These optional steps are discussed in
the section “Optional Elements of a PDL Retargeting Flow”. For these reasons, Mentor
Graphics recommends reading the top netlist module as well, as shown in the section “Set the
Retargeting Level.”
If you do not have a top-level ICL file for your design, Tessent ITJAG can compute one for you
using the Verilog gate-level netlist description.
Tessent IJTAG functionality is implemented in Tessent Shell. Many of the commands used in
Tessent IJTAG are the same commands you know from ATPG, like the add_clocks or
set_procfile_name commands. This document makes frequent references to commands in
Tessent Shell as needed for the understanding of the flow and usage.
Refer to the Tessent Shell Reference Manual for a full description of the commands.
% tessent -shell
After invocation, the tool is in setup mode. Refer to “Tool Invocation” in the Tessent Shell
User’s Manual for additional invocation options.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Set the IJTAG Context and System Modes
For PDL retargeting, you use the options (sub-context) of ijtag pattern generation as follows:
The execution of this command moves Tessent Shell to setup mode for IJTAG command
retargeting. At this point, you declare the files to read and other setup parameters as explained in
the following section.
read_icl filename
For example, the ICL includes three files: a top-level ICL module in the local directory in the
file named ./top.icl, a module of a sib in a file located in a provided ICL library,
${ICL_Library_Path}/sib.icl, and an instrument module description in ${ICL_Library_Path}/
instr_1.icl. The following line reads all three files:
The Tessent IJTAG tool will automatically determine the ICL hierarchy described in these files.
You do not need to specify the modules in any particular order. Of course, using more than one
read_icl command is possible. The following alternative example is equivalent to the one
above:
Tessent IJTAG does not require that the ICL files have the .icl filename extension, however, it
is recommended. Using this naming convention, you can easily read all ICL files of a particular
directory, for example:
read_icl ${ICL_Library_Path}/*.icl
Refer to the read_icl command in the Tessent Shell Reference Manual for a full description.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Read PDL Files
In the Tessent IJTAG tool within Tessent Shell, PDL command files are considered Tcl dofiles
since they describe actions that the tool must execute, just like any other Tcl dofile. You can
therefore use the normal dofile command:
dofile PDL_filename[.gz]
Tessent IJTAG does not require that the PDL files have the .pdl filename extension, however, it
is recommended.
• A PDL file that wraps all PDL commands other than iProc and iProcsForModule inside
of iProcs
• A PDL file, that contains PDL commands other than iProc and iProcsForModule outside
of iProcs
While loading the PDL dofiles, Tessent Shell executes the commands in the dofile. You can
therefore mix Tcl commands, Tcl procs, and PDL iProcs in the same file. Tcl procs and PDL
iProcs will be registered and can be called later. Other commands are executed immediately,
just like any other dofile. Therefore, the second type of PDL file is not allowed in setup mode.
In fact, it is only allowed to be executed inside of an open pattern set.
You should consider avoiding the second type, because using this type of PDL is not portable. It
must be written with a particular top ICL module in mind, results in hard to follow PDL
commands, and ultimately turns out to be error prone in its usage. Encapsulating all PDL
reading and writing commands inside of iProcs allows the PDL retargeting later in the flow to
use only iCalls to meaningful instance and iProc names.
PDL files of the first type may be called in both, setup and analysis mode, as well as inside an
open pattern set.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Set the Retargeting Level
The module name can be omitted if there is no ambiguity about which module is the topmost
module and if it is your intention to retarget the PDL to this level. Executing the
set_current_design triggers among others, the creation of the ICL hierarchy based on the read
ICL modules and ICL connectivity. Any error, for example a misconnection that violates
IJTAG semantic rules, will be flagged as a design rule violation at that point.
Usually, the current design is set to the top level ICL module. At this point, Mentor Graphics
recommends to also load the top most Verilog module, at least as a black box. This allows
subsequent, optional adding of non-ICL clocks and input constraints to non-ICL input ports.
Even if your ICL modeling does not need non-ICL clocks or input constraints, your Verilog test
bench out of the ICL flow will still be difficult to simulate against the Verilog/RTL level netlist
description, because it contains only the ICL known ports. Any non-ICL port in your top most
Verilog/RTL module will not be part of your ICL test bench. Loading the netlist into Tessent
IJTAG makes all ports known to the tool. It will then automatically add all ports to the ICL test
bench.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Define Clocks and Timing
Test Clock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Synchronous System Clock . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
Asynchronous System Clock. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
Test Clock
In the simplest PDL retargeting flow, clocks and timeplates do not need to be declared to the
tool. The ICL test clock is known to the tool through the ICL port function 'TCKPort' in the top
most ICL module.
Tessent IJTAG knows several default timeplates, depending on the off-state of the test clock
and other timing properties. Hence, there is no need for a user defined timeplate. See the
open_pattern_set command for a detailed description of these defaults.
By default, the tool assumes the following properties for the test clock and relative timing of
pins:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Define Clocks and Timing
If you just want to change the period of the test clock, you can do this easily at the moment you
describe the PDL to retarget as part of the open_pattern_set command. However, you may wish
to use a timeplate if you want to change the exact timing of events, for example when the PO is
measured. The only time a custom timeplate is mandatory is when you want to define more than
two edges of system clocks.
add_clocks 1 tck
set_system_mode analysis
open_pattern_set pat1 -tester_period 200ns
Note that you do not need to declare the -tck_ratio, since it defaults to 1, which means the tck
period is equal to the tester period. You will need to modify the -tck_ratio option only when you
have synchronous system clocks as well, as explained in the section “Synchronous System
Clock”.
System clocks declared to Tessent IJTAG in this way are considered synchronous clocks. This
means they are synchronous to the tester clock, defined with the -tester_period option of the
open_pattern_set command.
System clocks require the add_clocks command. You can then use options to open_pattern_set
to define the timing of the test clock versus the system clocks. You have to set the tester period
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Define Clocks and Timing
to the speed of the system clock, then use the tck ratio to time the test clock in relationship to the
system clock speed as shown here:
add_clocks 1 tck
add_clocks 0 sclk0 -pulse_always
add_clocks 1 sclk1 -pulse_always
set_system_mode analysis
open_pattern_set pat1 -tester_period 50ns -tck_ratio 4
add_clocks 1 tck
add_clocks 0 sclk0 -period 30ns
add_clocks 1 sclk1 -period 70ns
set_system_mode analysis
open_pattern_set pat1 -tester_period 200ns
Since the asynchronous clocks are independent from the tester period, you can default back to
use the -tester_period option with the default -tck_ratio of 1 to define the period of the test
clock.
As a second example, assume that only sclk0 is a 30ns asynchronous clock. Since sclk1 is a
synchronous clock with respect to the tester period (50ns again), the example would now look
like this:
add_clocks 1 tck
add_clocks 0 sclk0 -period 30ns
add_clocks 1 sclk -pulse_always
set_system_mode analysis
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Design Rule Checks
Observe that this is the exact same set of options of the open_pattern_set command as used in
the synchronous clock example above. In other words, asynchronous clocks add only the
-period option to the add_clocks command, but have no other influence of the flow. Only
synchronous clocks in relationship to the test clock period need to be considered when using the
options to open_pattern_set.
Consult the Tessent Shell Reference Manual for additional information on the add_clocks and
open_pattern_set Tcl commands, and the PDL command iClock.
set_system_mode analysis
This switches from setup mode to analysis mode, in which you can create patterns through PDL
command retargeting.
Tessent IJTAG is very verbose in its error messages. Usually, it lists the ICL or PDL filename,
the line number in error, the offending keyword if applicable, and a very verbose text explaining
the error and often also how to fix it. The example below shows an error in the tdr1 ICL file.
The data width used in an alias statement is incorrect between the left and right side of the alias
statement.
No error can be waived. All errors must be fixed before Tessent IJTAG can enter the analysis
mode.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Create Pattern Sets
<iCall of previously
defined iProcs, iRead, iWrite, etc … >…
close_pattern_set [options]
The name of the pattern set is mandatory and must be unique among all used pattern sets. This
name will be used to reference the patterns in several later commands, for example, reporting or
writing the pattern set to disk.
You can declare multiple pattern sets, but only one can be open at a time. There is no option to
append to a pattern set once it is closed.
The order of multiple pattern set definitions is not important, since Tessent IJTAG executes the
PDL command iReset at the beginning of each pattern set. The effect of iReset depends on the
reset-value definition defined for an instrument and its components. All registers having a
specified ResetValue in ICL are expected to be in their reset state. All other registers are
assumed to have an unknown value.
Since an iReset is executed at the beginning of each pattern set, the starting state of the ICL
netlist is identical from pattern set to pattern set. Therefore, the pattern sets do not depend on
each other. They can be defined and saved in any order. Patterns sets can also be skipped when
saving.
Sometimes this automatic iReset at the beginning of a pattern set is undesirable. An example of
this is a complex PDL-based setup of a PLL, followed by one or several PDL pattern sets,
requiring the PLL. You may wish that the PLL remains locked and does not get reset. However,
if you suppress this iReset, the current pattern set depends on the state reached at the end of the
previous pattern set. Therefore, this reset option cannot be used in the very first pattern set.
Further, you must take great care to save and execute both pattern sets in the proper order.
The following example shows how to open a pattern set suppressing the initial iReset:
Please consult the Tessent Shell Reference Manual for complete information. The
open_pattern_set command reference has several examples showing how to achieve a certain
timing behavior of the retargeted PDL.
Retargeting is done at each single iApply. Once the retargeting has completed successfully, you
can open another pattern set or save the retargeted PDL into one or several pattern formats. All
pattern sets remain available until deleted or until the tool terminates.
To report all currently available pattern sets use the report_pattern_sets command:
report_pattern_sets [options]
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Create Pattern Sets
In the following example, a pattern set “test1” is created using default options (timeplate, tester
period, tck ratio, initial iReset, active scan interfaces, network end state, TAP start state, TAP
end state):
If you now create a second pattern set “test2” with the different options specified here:
you will get the following report listing both pattern sets:
name — Name of the pattern set. First argument of the open_pattern_set command.
timeplate — The timeplate used for this pattern set. Argument of the -timeplate switch of the
open_pattern_set command.
tester period — The tester period. Either the argument of the -tester_period switch of the
open_pattern_set command or derived from the timeplate. If there is no timeplate and no
-tester_period switch, it defaults to 100ns.
tck ratio — The TCK ratio. Number of tester cycles for one TCK cycle. Argument of the
-tck_ratio switch of the open_pattern_set command. Defaults to 1.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Write PDL, Pattern, and Test Bench Files
tester cycles — The overall number of tester cycles of this pattern set. This is calculated when
the pattern set is closed.
initial iReset — The pattern set contains an automatically added iReset. Default is yes. This can
be switched off by means of the -no_initial_ireset switch of the open_pattern_set command.
network endstate — The state to which the ICL scan network is forced when the pattern set is
closed. This is the argument of the -network_end_state switch of the close_pattern_set
command. This can be either “keep” (the state is not changed) or “initial” (the state as it has
been at the beginning of the pattern set) or “reset” (the state as it is after reset).
TAP start state — The expected TAP start state. The possible values are: “IDLE”,
“DRPAUSE”, “IRPAUSE” or “any”.
TAP end state — The established TAP end state. The possible values are: “IDLE”,
“DRPAUSE” or “IRPAUSE”.
saved — Whether the pattern set has been saved by means of the write_patterns command.
Note
The “write_patterns -svf” command has been enhanced to write retargeted SVF patterns.
This includes generating SVF patterns, for example, for WTAP interfaces or other
hierarchical modules. SVF files generated through this new feature are then easily read as user-
defined sequences (UDS) and applied to a DUT.
In earlier Tessent IJTAG versions, SVF patterns were only generated for a top-level design with
a TAP. The resulting SVF file typically included SIR (Scan Instruction Register), SDR (Scan
Data Register), STATE (move FSM to specific state) and TRST (Test ReSeT) statements.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Exit the Tool
The enhanced SVF writer can now generate SVF even if a TAP interface was not positively
identified in the current design. In such case, the SVF file toggles the design pins using PIO
(Parallel IO) lines instead of the usual SIR, SDR, STATE and TRST statements.
Please consult the Tessent Shell Reference Manual for complete information about all options of
the write_patterns command.
You can optionally specify the -force switch, which instructs the tool to terminate even if there
are unsaved patterns.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Optional Elements of a PDL Retargeting Flow
Writing patterns in PDL format cannot contain the cycle information, since the written PDL
represents only the retargeted PDL.
test_setup procedures have a second effect: All forced pins that are constant at the end of the
test_setup execution are regarded as input constraints. This behavior is equivalent to the Tessent
ATPG tools. In order to force an input pin in a test procedure that is not in the top-level ICL
module, you first have to load at least a interface-only version of the top-level Verilog netlist
description prior to setting the current_design in setup mode:
Once the Verilog netlist has been loaded in setup mode, the tool knows about the non-ICL pin.
You are free to force the pin in the test procedures as described earlier.
In Tessent IJTAG, you cannot iCall an iProc from within any test procedure. This functionality
is only available in the ATPG functionality in Tessent Shell, since the test_setup procedure in
ijtag context is used to enable the ICL network using arbitrary events. For example, it may be
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
How to Define and Use Clocks Outside ICL
required to turn on powered down regions of the die. You can also use test_setup to program the
system clock circuitry when it is not under the control of the ICL network.
The timing of these clocks may be defined in a timeplate in the test procedure file. You can
pulse these clocks also in the test_setup and test_end procedures.
In order to define either aspect of a non-ICL clock, you first have to load at least a interface-
only version of the top-level Verilog netlist description:
Once the Verilog netlist has been loaded in setup mode, the tool knows about the non-ICL pin.
By means of the add_clocks command you declare the clock and its properties to the tool,
including using the “-pulse_always” option of the add_clocks command. Such always-pulse
non-ICL clocks will be pulsed as defined during IJTAG operation.
As usual, if your clock is not always-pulse, you have to explicitly pulse clocks in the test
procedures (test setup, test end). You also must have a timeplate for these clocks. Consequently,
these clock events will be used when processing the procedures as part of writing the patterns
(other than PDL) to disk. These clocks will not be pulsed during any IJTAG operation.
In order to constrain a non-ICL input port, you first have to load at least a interface-only version
of the top-level Verilog netlist description:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Report Generation
Once the Verilog netlist has been loaded in setup mode, Tessent Shell knows about the non-ICL
pin. By means of the add_input_constraints command you declare this input pin and its
properties to the tool.
Input constraints on ICL ports are not allowed, with the following exceptions:
• You can use the add_input_constraints command to constrain an ICL port of type
TRSTPort with a CT1 constraint. This allows a single ICL network description to be
used for a wafer test, where a TRSTPort is available, and also for further package tests
when the TRSTPort has been bonded to the package and is no longer available.
If you place a CT1 input constraint on the TRSTPort and use iReset, the tool will
execute a synchronous reset using five test clock pulses, while holding the TMSPort
high, followed by a test clock pulse with TMSPort low.
• You can use the add_input_constraintscommand to constrain an ICL port of type
ClockPort. The iClock command will detect constrained clock sources, including
constrained differential or inverse clock sources.
In the following example, the tool traces iClock to the constrained port ClkA and to a
constrained differential clock port ClkP.
// command: add_clocks ClkA -period 10ns
// command: add_clocks ClkP -period 10ns
// command: add_clocks ClkM -period 10ns
// command: add_input_constraints ClkA -C0
// command: add_input_constraints ClkP -C0
// command: add_input_constraints ClkM -C0
.
.
// command: # constrained clock
// command: catch { iClock block1_I1.raw1_I1.ClkA }
// sub-command: iClock block1_I1.raw1_I1.ClkA
Report Generation
All Tessent Shell reporting commands start with 'report_'. A report is a human readable output
from the tool to the screen and/or the transcript file.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
IJTAG Introspection
With Tessent Shell, Mentor Graphics also introduces introspection. In contrast to reporting,
introspection creates, manipulates, operates on, or deletes information in a way suitable for
scripting. All introspection commands that generate information start with 'get_'.
Using Tessent Shell, you can report information about iClocks using the following command:
report_iclock — Reports the ICL ClockPort specified by the iClock commands as well as their
extracted sources and cumulative freqMultiplier and freqDivider values. You can only specify
this when there is an opened pattern set.
report_pattern_sets — Reports all pattern sets, if no parameter is given. If no options are given,
the command lists all patterns sets in order of declaration, not in alphabetical order. You can use
options to report only pattern sets that match a certain name or to change the sorting criteria of
the report.
In this example, two pattern sets were created using the open_pattern_set / close_pattern_set
pair of commands. One pattern set is named pattern_1, the other is named pattern_2. The former
uses a timeplate named 'Slow', whereas the latter uses no specific timeplate (this means the
timing is according to the default timing of Tessent IJTAG). Both do not change the relationship
between the ICL test clock and the ATE's timing (tck ratio remains 1). The information in the
column 'tester_cycle' provides the number of test clock cycles required for the pattern set to run.
The two columns of 'initial iReset' and 'network end state' give information about which options
were used in the open_pattern_set and close_pattern_set command. With these options, the state
of the ICL network can be manipulated. For example, the initial reset can be suppressed or the
Tessent IJTAG is asked to retain the state of network as it was before the opening of the pattern
set. For more details, see the command descriptions for the open_pattern_set and
close_pattern_set commands. The final column indicates if the pattern set had already been
saved to disk or not.
IJTAG Introspection
Tessent Shell provides a robust Tcl-based command set you can use to introspect design
objects.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
IJTAG Introspection
This introspection is also available for the ICL data model. For more information, see “ICL
Data Model” in the Tessent Shell Reference Manual and “Object Specification Format” in the
Tessent Shell User’s Manual. There you will find several elaborate examples of using
introspection for a Verilog netlist. Here, the focus is on using introspection in the IJTAG
context. The only difference is that here, you access the ICL data structures, and not the data
structures representing the Verilog netlist. The concepts of introspection and collections remain
the same.
Below are some examples of introspection and report generation. Refer to the Tessent Shell
Reference Manual for a complete description of the commands used in these examples.
Example 1
Get all ICL modules and print their names.
The innermost Tessent Shell introspection command “get_icl_modules” computes and returns a
collection of all currently loaded ICL module objects. The command “get_name_list” computes
all names of the ICL objects given to it in form of a collection. In this case, “get_name_list”
computes a Tcl list, containing the names of all the ICL modules currently loaded.
For example, the Tcl lines above, if executed in a dofile, would generate this transcript:
Example 2
Get all instances of a particular ICL module and print their names.
This example shows the use of the wildcard character (*) when you specify (“filter”) the module
name for which you want all instances listed. In general, you can use regular expressions to
define the filtering options for example:
For example, the Tcl lines above, if executed in a dofile, would generate this transcript:
Example 3
Get all instances of all ICL modules. Use looping to access each module and instance one after
another. Explicitly use the attribute to get the name of the instance.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
IJTAG Introspection
This example demonstrates the usage for the foreach_in_collection looping and how to access
elements in the collections. The innermost command get_attribute_value_list returns the
“value” of the attribute “name” of the design object, which in this case is an ICL instance.
Note that this example only illustrates other introspection features, like the usage of attributes
and collections. Combining the introspection of ICL modules and ICL instances of Examples 1
and 2, would result in a much more compact, and also faster running introspection of the same
result:
For example, the Tcl lines above, if executed in a dofile, would generate this transcript:
Using the get_icl_* command family is the correct way of accessing information about ICL
objects. You must not use, for example, “get_modules tdr1” for an ICL module tdr1. The
get_modules command is meant to access the design objects. Assume, there is a design module
also named tdr1. Using “get_modules tdr1” would give you the introspection result for this
design object and not for the ICL object as you intended.
Example 5
Introspect into the ICL port functions and get the name of the tck port of a particular module.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
IJTAG Introspection
This example generates a collection of ICL ports, filtered twofold. The first filter is the name of
the module of interest, which in this example is stored in a Tcl variable. The second filter, which
is applied simultaneously with the first one, is the function of the ICL port. The get_icl_ports
command together with these two filters compute and return a collection of ICL TCKPort port
names of the module tdr1. See icl_port in the Tessent Shell Reference Manual for more
information.
Example 6
Automatically report the invocation instance from within an iProc. Using the get_icl_scope
command, you can get, among others, the ICL instance path of the ICL instance that called the
iProc.
iProc myTest { } {
iNote "iProc 'myTest' was called for ICL instance [ get_icl_scope ]"
}
Example 7
Report which ICL modules have been loaded. The key command here is report_icl_modules.
This command takes several optional switches. Without any switches, it reports only the names
of all loaded or extracted ICL modules. This is similar to the get_icl_modules command. In the
example below the reporting command is used to print the ICL module definition for a loaded
SIB module (the transcript is abbreviated).
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
How to Run iCalls in Parallel
The following is a brief description of the commands iMerge, iTake and iRelease. The iMerge
command is used to specify the beginning and the end of a so-called "merge block", that is, a set
of iCall commands that are meant to be processed in parallel in the final representation of the
test patterns. The syntax is as follows:
iMerge -begin
iCall [<instPath>.]<proc> [<args>…]
iCall [<instPath>.]<proc> [<args>…]
iCall [<instPath>.]<proc> [<args>…]
…
iMerge -end
iCall is the only PDL command which is allowed in between iMerge -begin and iMerge -end.
iTake can be used inside of an iProc to reserve a "resource" (i.e. a port, a register or an instance)
for exclusive use with this iProc. No other of the parallel running iProcs is allowed to alter states
or clock frequencies on the resources taken by an iProc. The reservation persists until the end of
the iProc. iTake uses the following syntax:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
PDL Specialties and Exceptions
• Unprocessed iWrite/iRead/iScan targets are not allowed at the end of an iProc that is
called from within an iMerge block.
• Missing "iMerge -end" at the end of iProc is not allowed.
• Missing "iMerge -end" at close_pattern_set is not allowed.
• iApply -end_in_pause is not allowed in iMerge threads.
• iReset is not allowed in iMerge threads.
Processing conflicting commands serially can cause the settings associated with the first
processed task to be overwritten by subsequently processed tasks. In some situations, such as
those caused by erroneous user input, the conflicts are unexpected and overwriting the previous
settings is destructive.
To minimize the incidence of destructive overwrites, you can instruct the tool to halt processing
when it detects conflicts. To do so, use the iMerge -error_on_conflict switch. This switch
instructs iMerge to stop on the first event that creates a conflict and to display a detailed conflict
report about the involved events and conflicts. This enables you to verify the conflicts before
the tool overwrites a previous task.
In the ATPG context, the set_test_setup_icall -merge and set_test_end_icall -merge commands
automatically perform conflict reporting. Refer to set_test_setup_icall and set_test_end_icall in
the Tessent Shell Reference Manual for a full description.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
iMerge Conflict Reporting
Note
Conflicts cause the open pattern set to be in an undefined state. That is, some of the iMerge
block’s scheduled events have been processed and stored to the open pattern set while others
have not been processed and stored. To obtain usable patterns, you must close the pattern set,
identify and eliminate the root cause of the conflict, and re-create the pattern set from the
beginning.
• Error message with the list of conflicts. When you call iMerge as part of an open pattern
set in the context patterns -ijtag, the error message is as follows:
// Error: iMerge conflict encountered.
As an example, the following conflict applies to a situation in which two events cannot
be merged because they write conflicting values:
// Event '3' tries to set the value of 'block1.R[0]' to '1' to meet
the iApply targets, whereas event '6' tries to set the value of
'block1.R[0]' to '0' to meet the iApply targets.
All events are identified by a unique event ID, which is simply an integer. This event ID
is referred to in all three parts of the report.
• Description of the involved events. The description section begins as follows:
// Event:
// iNote:
// Resources:
• iMerge flow graph. See “Example of iMerge Conflict Reporting and Analysis” for a
usage example.
Table 3-1 defines the terminology used in the description section of the conflict report.
Table 3-1. Conflict Report Teminology
Term Description
Controllable entity Primary input or scan register bit. The values applied to
these entities do not depend directly on something else, but
they can be freely chosen during a scan load or during the
application of the stimuli of the top level ports.
Random access In the message “A controllable entity requests random
access,” the tool assumes that it must apply the values 0
and 1 at least once within the same iApply.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
iMerge Conflict Reporting
Suppose you have the following PDL description. The iMerge blocks in this example reflect the
actual ICL hierarchy such that you have a nested iMerge structure.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
iMerge Conflict Reporting
read_icl ../data/icl/*
source ../data/pdl/raw1.iprocs
iProcsForModule chip
iProc testAllRaw {} {
iMerge -begin -error_on_conflict //Specified on outermost iMerge block
iCall block1_I1.testAllRaw
iCall block1_I2.testAllRaw
iCall block2_I1.testAllRaw
iCall block3_I1.testAllRaw
iMerge -end
}
iProcsForModule block1
iProc testAllRaw {} {
iMerge -begin
iCall raw1_I1.run_testa
iCall raw1_I2.run_testa
iMerge -end
}
iProcsForModule block2
iProc testAllRaw {} {
iMerge -begin
iCall raw1_I1.run_testa blue //iMerge conflict
iCall raw1_I2.run_testa green
iMerge -end
}
iProcsForModule block3
iProc testAllRaw {} {
iMerge -begin
iCall raw1_I1.run_testa
iCall raw1_I2.run_testa
iCall raw1_I3.run_testa
iCall raw1_I4.run_testa
iMerge -end
}
set_current_design
add_clocks ClkA -period 10ns
set_system_mode analysis
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
iMerge Conflict Reporting
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
iMerge Conflict Reporting
This is followed by the flow graph. Figure 3-5 shows the partial flow graph that applies to this
example. When you examine the flow graph, you see that the iApply of event 43 is the second
iApply called from within iCall raw1_I1.run_testa which in turn is called from within iCall
block2_I1.testAllRaw. The iApply of event 50 is the second iApply called from within iCall
raw1_I2.run_testa which in turn is also called from within iCall block2_I1.testAllRaw.
Next, examining the ICL, you can see that different DataRegisters (DR1 and DR2) drive the
mode values of the instances of module raw1, but those DataRegisters have the same data
source. Because iMerge does not know whether those data registers can be enabled or disabled
independently of each other, it assumes a conflict to be on the safe side.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
PDL Retargeting Commands
Module block2 {
ScanInPort si1;
ScanOutPort so1 { Source tdr.so; }
SelectPort en1;
ShiftEnPort se;
CaptureEnPort ce;
UpdateEnPort ue;
TCKPort tck;
ClockPort ClkA;
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
PDL Retargeting Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Introspection and Reporting Commands
All Tessent Shell reporting commands start with “report_”, whereas all introspection commands
returning information about objects start with “get_”. Besides these, there are commands
starting with “delete_” for removing objects from memory of the tool.
Table 3-3. ICL Introspection and Reporting Command Summary
Command Description
delete_icl_modules Deletes the specified ICL modules from memory.
delete_iprocs Deletes the specified list of iProcs attached to the ICL
module that was specified by the last iProcsForModule
command.
get_icl_fanins Returns a collection of all requested objects found in the
fanin of the specified pin or port objects.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Introspection and Reporting Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Introspection and Reporting Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
A Typical PDL Retargeting Flow
Introspection and Reporting Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 4
ICL Extraction
The goal of ICL Extraction, or more precisely ICL network extraction, is the automated
generation of the interconnection information of the various IJTAG building blocks
(instruments, SIBs, TDRs, and so on) from the flattened netlist of a design.
The output of the extraction process is the interconnect information of the instantiated IJTAG
building blocks in ICL format. You can use the Tessent Shell command extract_icl to perform
the ICL extraction. Refer to extract_icl in the Tessent Shell Reference Manual for a full
description of the command. However, if the IJTAG network was manually inserted or using
other methods, then this chapter describes how you can extract the ICL. See also “Top-Down
and Bottom-Up ICL Extraction Flows.”
This flow is used in an environment where the ICL is available only for the IJTAG building
blocks. There is no ICL for the network that connects all ICL blocks, although the Verilog gate-
level design contains all these connections. It is the task of Tessent IJTAG in this flow to
generate the missing ICL from the design data and netlist setup information.
Once the missing ICL has been generated, the PDL retargeting flow using this generated ICL
file commences without any change.
ICL Extraction has a number of specific design rule checks, some of which are supported in the
DFTVisualizer for graphical debug. These design rule checks ensure that the generated ICL is
syntactically and semantically correct.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Extraction Flow
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Required Inputs for ICL Extraction
• Design
Data — Currently the Verilog gate-level netlist.
• Library — The ATPG library.
• ICL Data — The ICL descriptions of the IJTAG building blocks instantiated within the
design. The ICL descriptions may contain special extraction attributes that direct the
ICL extraction process.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Performing ICL Extraction
Procedure
1. In a shell, invoke Tessent Shell:
% tessent -shell
After invocation, the tool is in an unspecified setup mode. You must set the context
before you can invoke the ICL extraction commands.
2. Set the context to IJTAG mode using the set_context command as follows:
set_context patterns -ijtag
3. Read in the design netlist using the read_verilog command. For example:
read_verilog chip.v
4. Read in one or more cell libraries into the tool using the read_cell_library command as
follows:
read_cell_library ./libraries/tessentCellLib
5. Read in the ICL for the primitives using the read_icl command. For example:
read_icl ./data/icl_primitives/sib1.icl
Upon reading the ICL data, the tool performs ICL semantic rule checks on this data.
6. If you need to, specify the acceptable prefixes and suffixes or regular expressions to use
when matching an ICL module to a design using the set_module_matching_options
command. For example:
set_module_matching_options -prefix_pattern_list {mycore_} \
-suffix_pattern_list {_[0-9]+} -regexp
7. Set the top-level of the design using the set_current_design command. For example:
set_current_design chip
The order of reading the design netlist files, library files, and ICL files is not important
to the tool. However, once the top-level of the design is set, Tessent IJTAG will match
the ICL module names against the design module names as the first step in the ICL
extraction process. Any ICL or design file read in afterwards will not be considered. Use
a subsequent “set_current_design” command in this case.
8. Depending on your design style, specify any additional parameters including the
following commands:
add_black_box
add_clocks
add_input_constraints
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Performing ICL Extraction
9. If needed, specify the test procedure file that contains the test_setup procedure using the
set_procfile_name command. For example:
set_procfile_name procedures/test_setup.proc
10. If needed, specify any additional commands or attributes that influence ICL extraction.
Commands include the following:
add_ijtag_logical_connection
add_icl_scan_interfaces
set_icl_scan_interface_ports
You can insert additional ICL extraction related attributes into modules, using the
command:
set_attribute_value
11. Change the system mode to analysis to execute the ICL extraction using the
set_system_mode command as follows:
set_system_mode analysis
During the transition from setup to analysis mode, the tool performs ICL design rule
checking as well as special ICL extraction related design rule checks, which essentially
validate the ICL function-aware tracing between the ICL modules. Once in analysis
mode, the generated ICL module is available. You may proceed with PDL retargeting
and / or save the generated ICL module.
12. Write the extracted ICL results to an external file using the write_icl command:
write_icl -output_file generated_chip.icl
-modules [get_single_name [get_current_design]] -hierarchical -replace
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Top-Down and Bottom-Up ICL Extraction Flows
• Top-Down ICL Extraction Flow — The task this flow addresses is generating a flat ICL
description of the ICL network connecting all loaded ICL modules. The resulting set of
ICL modules consists of all initially provided ICL modules, plus a single, flat, extracted
ICL module representing the ICL interconnect network across all design hierarchy
boundaries.
• Bottom-Up ICL Extraction Flow — In this flow, you extract ICL modules one by one
from the leaf level instruments to the top. Stepping though the design hierarchy, one ICL
module is generated for each set hierarchy step, building the ICL netlist hierarchy
bottom-up to the top level design module.
In both flows Tessent IJTAG matches the loaded ICL modules against the loaded design
modules. This matching is by name of the module, taking uniquifications and other name
manipulations into account. set_module_matching_options is the command that allows the
specifications of how the ICL and design module names should be matched.
When issuing set_current_design in setup mode, Tessent IJTAG tests if there is an ICL module
name that matches the name of the chosen top-level design module under the set matching
options. ICL Extraction is automatically enabled if none of the ICL modules names in the
database match the name of the specified current design. If there is a matching module name, no
extraction is triggered.
Once Tessent IJTAG has determined that the current flow requires ICL Extraction a list of
matched ICL and Verilog module names can be reported with the 'report_module_matching -icl'
command and option.
You can also introspect this decision of Tessent IJTAG with the 'get_context -extraction'
command and option, which will return “1" if you are in an ICL extraction flow, and “0”
otherwise.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Top-Down ICL Extraction Flow
The extraction of ICL itself is part of switching to the analysis mode from setup mode. The tool
executes initial DRC including the application of test_setup and constraints, matches the ICL
modules, instances and ports to the corresponding design entities, and uses a tracing-based
algorithm to identify the design components that implement the ICL access network. This
tracing is executed in the flat model of the design netlist.
You can provide additional data to make this tracing work correctly, for example, declared
clocks, a test setup procedure, or input constraints on top level IO ports as well as on internal
(cut) points. You can also declare logical connections between points in the design which define
where Tessent IJTAG should continue the extraction process, or define which modules to
ignore during ICL extraction.
Once the tracing completes successfully an ICL module or file can be written that represents the
identified ICL access network. In addition, the ICL data generated by the extraction process is
readily available for subsequent PDL retargeting. It is not required to read the generated ICL
file in setup mode and once more go to analysis mode.
ICL extraction differentiates between input constraints that were applied at the current top-level
of the design and constraints that were applied internally to the design. All these constraints
were provided to Tessent IJTAG before ICL extraction was started. It is expected that these
constraints are fulfilled also during PDL retargeting, i.e. the design setup during ICL extraction
is a compatible subset of the design setup during PDL retargeting.
Tessent Shell enforces this automatically by issuing the add_input_constraints command for all
current top-level constraints listed in the attributes. Non top-level constraints are not enforced.
However a later version of Tessent IJTAG may check that the internal constraints set during
ICL extraction are satisfied by the overall design setup.
For all practical purposes, the flow is identical to the PDL retargeting flow described in Chapter
3, “A Typical PDL Retargeting Flow.” The only difference is that not all ICL modules that
provide ICL interconnections were loaded.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Bottom-Up ICL Extraction Flow
Once the new ICL connection files are extracted and saved, they are then used as input in the
next step to calculate the connections for the next higher level of the design. This command
sequence must be repeated for each desired design module level.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Extraction Design Rule Checks
A common ICL extraction DRC violation is I2. This is one of the main tracing checks. It
verifies that a connection can be identified from an ICL-attributed pin to another ICL-attributed
pin or to a top-level port. An ICL-attributed pin is a pin of a Verilog design module instance that
has been mapped to an ICL module instance and pin.
To start debugging ICL extraction DRC violations, you can use the following ICL reporting
command:
report_module_matching -icl
The report of this command is available once the 'set_current_design command has completed
successfully, that is, before the ICL extraction is executed in the beginning of 'set_system_mode
analysis.' The report shows which ICL and Verilog modules have been matched by name and
under consideration of the prefix and suffix regular expressions (if you specify the -regexp
switch) of the 'set_module_matching_options' command. Below is an example:
You can influence the ICL extraction process through commands in Tessent Shell and through
ICL and design attributes. Some of these attributes can be used to resolve I2 DRC violations.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
Debugging DRC Violations with DFTVisualizer
This is explained in detail later in this chapter in the section “How to Influence the ICL
Extraction Process”.
Procedure
1. Open DFTVisualizer, using the open_visualizer command.
2. In the Design Browser window, which opens by default, select the DRC Violations tab.
The DRC violations are listed by severity. Click the “+” to expand the listing and select
the ICL extraction DRC violation you want to debug. Double clicking on the listed
violation, or right clicking and selecting Analyze DRC Violation from the popup menu
will display the violation and the associated instances. This is the same process as ATPG
DRC debugging with DFTVisualizer. Alternatively, you can use the command
“analyze_drc_violation.” at the tool prompt in the Console Window.
3. Once you analyze an ICL extraction DRC violation, you will notice additional call-out
boxes, which will assist you in determining the cause of the violation, as illustrated in
Figure 4-2. In DFTVisualizer, you can use all applicable features, such as tracing the
Verilog design netlist or looking at input constraint values and their propagation.
Figure 4-2. ICL Rule Violation Debug in DFTVisualizer
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence the ICL Extraction Process
Typically, synthesis adds a prefix or postfix to the design module’s original name. For example,
names are changed from “MyModule" to “MyModule_X1", to “MyModule_X2", etc. Using the
Tessent Shell command “set_module_matching_options" you can tell the tool these module
name mapping patterns specific for your design. For the example above, you would use the
following:
With this command, option and parameter, you tell the tool to expect module name changes that
add “_X" followed by a number of at least one digit. Assume now, that there is a second module
name mapping pattern in your design. This second pattern may change the names as follows
“MyModule" to “MyModule_Y1", to “MyModule_Y2", etc. Since you want to add another
module matching option in addition to the first one, make sure you use the “-append" switch.
Without the –append switch, the second command invocation would overwrite the first one.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction through Commands
Now, any design module name that matches either mapping pattern can be recognized and
subsequently be mapped to the ICL module name “MyModule". Make sure you use the
set_module_matching_options command before you use set_current_design, since part of
setting the current design is creating the ICL to design module name mapping table.
Once you have set the current design, you can learn about the ICL and design module matching
the tool has identified by using the report_module_matching command, with the “-icl" option.
If you have add_clocks -pulse_always defined on any port of your current design, it will be
defined as a ClockPort in the extracted ICL even if it has not been reached by tracing from a
ClockPort of an instantiated module with matching ICL description.
You can also trigger the creation of differential clocks in the new ICL top level module. Use the
commands add_input_constraints and add_clocks as shown in the following example:
By default, the port with the offstate “0” will be used as the ordinary ClockPort in ICL
(“representative port”), and the port with the offstate “1” will be used as the ClockPort with the
“DifferentialInvOf” property (“associated port”). This default is overridden if the ports are
connected to other ICL ClockPorts or internal clocks that unambiguously determine their roles
in the differential group.
Observe the usage of the get_instance command, not the get_icl_instance command.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction through Commands
You would use logical connections to move forward with your IJTAG work for example for
incompletely defined designs. Assume, for example, a case in which you have design module
black boxes on the ICL extraction path. Using logical connections you can connect the ICL
relevant pins of the black boxes, allowing the ICL extraction tracing to go “through" the design
black box. Another example is an incompletely defined ICL network in your existing top level
module. Using logical connections you can “patch" the missing pieces until the design is
complete.
The ICL network created through the ICL extraction process will use both sets of data, the one
extracted from the design description as well the declared logical connections. In case of
discrepancies, you have logical connections as well as connections in the design between the
same pins, the declared logical connections take precedence.
In the example below you instruct the ICL extraction process to logically connect the instance
pin U1/Y with the instance pin U2/A.
add_ijtag_logical_connection
–from U1/Y –to U2/A
Note that instance pin name denotes the instance pin in the design. Therefore, it must be
expressed in the usual instance-pin-path name syntax of the design description, that is, by using
the slash character (/) – not the IJTAG method of using the period (.) as a hierarchy separator.
This add_ijtag_logical_connection command will create a connection in the newly generated
top level ICL module, from the ICL instance pin mapped to U1/Y to the ICL instance pin
mapped to U2/A. This connection will be created irrespective of the actual design connections,
if any.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction through Commands
report_ijtag_logical_connections
// IJTAG Logical Connections:
// From Source To Destination
// ============= =====================
// /i1/i/dout[1] /i2/i/din[1]
// /i2/i/dout[1] /i1/\escaped/din[45]
// /tap1_I1/tdo tdo
// tdi /pll1_I1/si1
// tdi /sib1_IPLL/si
// tdi /tap1_I1/tdi
Besides reporting, you can introspect the logical connections using attributes placed on the pins
(ports) you used in the add_ijtag_logical_connection command. For example, following the
above example, the commands
{{/i1/i/dout[1]}}
and
respectively.
To declare which logical connection to delete usually you would use both a source and a target
design module instance pin name. Deleting multiple logical connections at once is also possible.
Deleting all logical connections originating from “tdi" of this example can be accomplished by
using only the source option of the command:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction Through ICL Module Attributes
It is important to understand that the declared logical connection only influences the design
tracing during ICL extraction. It has no influence over the other operations that are part of the
ICL extraction process. In particular, any design simulations executed during I5 checks, such as
checking for blocked or controlling paths, use the unchanged design description.
Assume your newly created top level ICL module needs the following ScanInterface syntax:
ScanInterace I1 {
Port P1 ;
Port P2 ;
}
ScanInterface I2 {
Port P1 ;
Port P4 ;
}
You would use the following commands after the design has been set, but before switching to
analysis mode:
add_icl_scan_interfaces { I1 I2 }
set_icl_scan_interface_ports –name I1 –ports {P1 P2}
set_icl_scan_interface_ports –name I2 –ports {P1 P4}
Of course, all used port names must be valid ports of the ICL module, which will be created
through ICL extraction. The created scan interface must follow all rules defined in the standard.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction Through ICL Module Attributes
connected to a top level port. You use this attribute if, for example, the port must be controlled
or observed directly at top level ports, without an intermediate data or scan register.
The second category of attributes may be used to prevent I2 DRC violation as follows: During
ICL extraction, if any port of an ICL-attributed design module instantiated on the current design
cannot be traced to a port on the top level or on another ICL-attributed module, an I2 violation
will be issued. To bypass DRC I2 violations an attribute called connection_rule_option can be
specified in the ICL file for ICL ports to indicate that the IJTAG logic driven by/driving such
ports can be unused for the purpose of ICL extraction tracing. In addition the
“connection_rule_option” attribute has an impact on the previous hierarchical tracing of the
input and output cones. If defined on an input port with the attribute value
“allowed_no_source”, no hierarchical tracing is performed at that input port and therefore no
synthesis is done in the input cone of that port. If defined on an output port with the attribute
value “allowed_no_destination”, no hierarchical tracing is performed at that input port and
therefore no synthesis is done in the output cone of that port. If synthesis is required for those
cones it has to be manually defined by defining “synthesize_before_analysis” attributes on the
synthesis-required design modules.
A typical example is a TAP controller with multiple return scan in ports from the logic. You
may have only one ICL module definition in your ICL design library, and connect the TAP in
different designs differently. Using these attributes allows Tessent IJTAG, during the ICL
extraction phase, to waive any I2 connection issues for ports that your current design is not
using, but are still declared in your ICL module definition. Nonetheless, these attributes should
be used with care, since you might waive a valid design rule violation.
The allowed values for the connection_rule_option attribute are described below in Table 4-1.
Table 4-1. Values for ICL Extraction Attribute connection_rule_option
Attribute Value Port Allowed Simulation Description
Direction Value
(stable_after_setup)
allowed_no_source input 0/1/Z/X The port can be floating or
be driven by any logic. No
synthesis will happen in
the input cone of this port
allowed_tied input 0/1 The port can be tied to
low/high or be driven by
any logic with simulation
value of 0 or 1 in
stable_after_setup
simulation context
allowed_tied_low input 0 The port can be tied to low
or be driven by any logic
with simulation value of 0
in stable_after_setup
simulation context
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
How to Influence ICL Extraction Through ICL Module Attributes
Module block1 {
…
DataInPort din { Attribute connection_rule_option = "allowed_tied_high"; }
…
}
The resulting top level ICL created by the ICL extraction is then for example:
Module top {
…
Instance block1_I1 Of block1 { InputPort din = 'b1; }
…
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Network Extraction of Parameterized Modules
Module bus {
DataInPort datain[ $MSB:0 ] ;
DataOutPort dataout { Source RegD[ $MSB:0 ] ; }
<…>
Parameter MSB = 5 ;
}
ICL will allow every instance of module "bus" to either proceed with the default value of 5 for
MSB, seen below in the instance "bus_inst1", or to overwrite the parameter value during
instantiation as shown in the next instance "bus_inst2".
Although both instances are derived from the same ICL module, the width of the data input port
is 6 bits for bus_inst1, but 8 bits for bus_inst2.
This type of parameterized module is also known in the design space, including the possibility
to overwrite the default value. The following is a (partial) example that matches the previous
example:
and
ICL Network Extraction will recognize these design parameters and correctly generate the
corresponding ICL Network, automating the parameter overwrite for each respective instance of
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Extraction Commands
parameterized design modules. In the example shown above, ICL Network Extraction will
generate the ICL instantiations bus_inst1 and bus_inst2 from the design example instances
shown above.
Currently, you can only use simple expressions in the design modules, as complex parameter
expressions are not supported. Everything that is allowed in ICL is supported.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Extraction Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
ICL Extraction
ICL Extraction Commands
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 5
IJTAG Network Insertion
The IJTAG Network Insertion functionality enables you to connect existing instruments and
insert SIBs, TDRs, and ScanMuxes to create your own IJTAG network.
The IJTAG Network Insertion functionality enables you to connect the network to a TAP
controller or a pre-existing TAP controller in the design. The principle of IJTAG Network
Insertion is straightforward using the create_dft_specification command. The tool reads in the
ICL models for the instrument in the design and inserts a SIB and/or TDR based on how the ICL
models need to be accessed. You can edit or modify the IJTAG network to suit your design
requirements if necessary.
After you complete your design edits, you can generate the ICL description of the IJTAG
network using the extract_icl command. Note that the tool does not automatically perform ICL
extraction after the IJTAG network insertion because you have the option to perform additional
editing before extraction.
Tessent IJTAG can generate and stitch up its own TAP, or can connect to a pre-existing TAP
controller. If the IJTAG network needs to connect to pre-existing TAP controller then an ICL
for the TAP controller needs to be provided.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
The IJTAG Network Insertion Flow
As Figure 5-1 shows, the IJTAG Network Insertion flow is relatively simple. Since you want to
modify the design files, you have to set the tool to the dft context and then load a cell library,
your design files and the ICL for all instruments used (which can be loaded automatically for
you). One command create_dft_specification instructs the tool to create the DftSpecification
and the second command process_dft_specification runs a validation step before generating and
making any edits to the design files.
As the tool processes the DftSpecification, it writes files to disk in an organized directory
structure; these files include all inserted IJTAG network objects (SIBs, TDRs, and ScanMuxes)
in both ICL and Verilog format, as well as all modified design files. The IJTAG network itself is
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
IJTAG Network Insertion Example
automatically generated using create_dft_specification. However you can always modify the
created DftSpecification using editing commands or using the GUI with display_specification.
As mentioned before, the ICL description of the network itself is not automatically generated
since you may want to do further design editing. However, since all data resides in memory, you
can perform the subsequent IJTAG Network Extraction step using the extract_icl command.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
Modification of the IJTAG Network Insertion Flow
extract_icl
exit
The above example starts by setting context to dft and reading libraries.
The next step is reading the verilog netlist which already has scan inserted and EDT IP inserted
with the PLL module already present. For the PLL module, an ICL and PDL has been
previously created and validated stand-alone. The PDL and ICLs for the PLL are read in next.
The level at which the IJTAG network is inserted is specified using set_design_level. In this
example the IJTAG network is inserted at the top of the design and so the TAP pins are
specified before executing set_system_mode analysis.
With create_dft_specification, the ICL for the PLL and the EDT instruments is automatically
configured for insertion into an IJTAG network. This network can be reported using
report_config_data. If the IJTAG network connection is desired then use
process_dft_specification, otherwise use the editing commands or display_specification with
DFTVisualizer to edit. The last step is extract_icl which provides the ICL for the level that was
set using set_current_design.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
Modification of the IJTAG Network Insertion Flow
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
How to Edit or Modify a DftSpecification
The graphical interface guides you through the IJTAG Network Insertion process by allowing
you to choose only those objects that are legal at the current insertion step. When you are ready,
you can also validate the IJTAG network specification before you instruct the tool to insert it
into the design, and the tool will highlight any errors.
display_specification –create
The command opens DFTVisualizer and creates the DftSpecification wrapper linked to the
current design. For more information, see the display_specification command.
You can display a DftSpecification currently in memory and modify or append the specified
IJTAG network by using the same command without the "-create" option. For example, the
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
How to Edit or Modify a DftSpecification
following line opens the DftSpecification for the user-provided ID "good3" for the current top
level design named ‘design1":
display_specification good3
For information on using the Configuration Data window, see sections “Configuration Data
Window” and “Modifying the Contents of the Configuration Data Window” in the Tessent Shell
User’s Manual. For information on DftSpecification syntax and examples, see “Configuration-
Based Specification” in the TessentShell Reference Manual. The DftSpecification grammar is
completely described in the TessentShell Reference Manual.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
DftSpecification Examples
This section presents examples of specific, common IJTAG Network Insertion tasks created
using DftSpecification elements and syntax.
The Configuration-Based Specification chapter in the TessentShell Reference Manual
documents all elements of the DftSpecification in great detail and also provides many examples.
You should familiarize yourself with this chapter to understand all of the capabilities of the
IJTAG Network Insertion flow.
Examples. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
Examples
The examples in this section are based on the assumption that you are creating a
DftSpecification using an ASCII text editor and not using the graphical interface provided by
the DFTVisualizer Configuration Data window. However, these examples are valid with either
method.
Instrument
Module instrumentB {
ScanInPort si;
ScanOutPort so { Source R[0]; }
ShiftEnPort se;
SelectPort sel;
TCKPort clk;
ScanRegister R[1:0] {
ScanInSource si;
}
}
DftSpecification
You use a SIB wrapper, identified by the ID “S3”, and declare the instance path to the design
instance of the instrument within the SIB wrapper. You do not need to specify “scan-in”, “scan-
out”, or any of the other control ports because the tool retrieves this information from the ICL
module description. Note that the instance path must already exist in the design because
specification processing will not create the design instance; it will only connect it as specified.
(SSib3) {
(design2_I1/instrumentB_I1) {
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
Result
The resulting IJTAG network has a SIB inserted. The SIB controls the SelectPort "sel" of the
instrument instance at ‘design2_I1/instrument_I1. The scan-out of the instrument will be
connected to the second scan-in port of the SIB; the scan-in of the instrument will be connected
to the same IJTAG scan chain as the first scan-in port of the SIB. Similarly, scan-, capture-, and
update-control ports of the instrument will be connected to the same source from which the SIB
receives these control signals. Tck will be connected in a similar manner.
Instrument
Module instrumentC {
ScanInPort si;
ScanOutPort so1 { Source R1[0]; }
ScanOutPort so2 { Source R2[0]; }
ShiftEnPort se; SelectPort sel1;
SelectPort sel2;
TCKPort clk;
DftSpecification
In this example, all you want to do is connect the ports of ScanInterface P2 to the SIB “S3”. The
ScanInterface P1 will be connected differently.
Sib(S3) {
DesignInstance(design2_I1/instrumentB_I1) {
scan_interface : P2 ;
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
Instrument
Module instrumentA {
DataInPort INA[6:0];
DataOutPort OUTA[7:0];
}
DftSpecification
You now want to connect the instrument to a TDR which will then be inserted as part of the
specification processing. You use the following basic connection specification:
(TTdr3) {
DataOutPorts {
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
}
DataInPorts {
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
}
}
Result
The resulting IJTAG network will contain a TDR register of eight bits. The size of the TDR is
automatically determined based on the connectivity requirements. In addition, the TDR contains
eight data input ports, seven data output ports, and all of the usual control signal ports. The
seven lowest bits of the instrument are connected to the seven data output ports of the TDR,
which then lead to the seven data input ports of the instrument. Similarly, the eight data output
ports of the instrument are connected to the eight data input ports of the TDR, from which the
eight bits in the TDR register capture the data.
Instrument
Module instrumentA {
DataInPort INA[6:0];
DataOutPort OUTA[7:0];
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
DftSpecification
You want to connect the instrument to the top level as part of the specification processing. You
use the following basic connection specification:
(TIjtagNetwork3) {
{
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
}
{
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
}
}
If the top-level input ports are already connected to other parts of the design, you do not want to
separate the connection. In this case, by default, if a multiplexer is needed, the tool
automatically inserts a multiplexer in the direct parent instance of the connected instrument
pin(s), switching between the original connection and the newly-inserted connection described
in the DftSpecification; the tool does not insert a multiplexer if the connected pin is floating or
tied, or if the net connected to the pin has no fanin (multiplexing : auto). The select input of the
inserted multiplexer is connected to a newly-created top-level DataInPort.
The following example shows the use of the multiplexing parameter to force the tool to always
insert a multiplexer between the top-level input port and the pins of the instrument, whether it is
needed or not (multiplexing : on). Note, you can always instruct the tool to not insert any
multiplexers (multiplexing : off).
IjtagNetwork(T3) { DataOutPorts{
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
}
DataInPorts {
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
multiplexing : on;
}
}
The multiplexing parameter used in this example has the same options (auto (default), on, and
off) as in example “Connection of a Parallel Data Instrument to the Top Level”, and the same
type of analysis is performed to determine if a multiplexer is needed or not. The only difference
is that for TDRs, the select port of the multiplexer is connected to an additional DataOutPort fed
by an additional bit of the inserted TDR.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
DftSpecification
(TTdr3) {
{
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
multiplexing : on;
}
{
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
}
}
Result
The size of the TDR is automatically determined based on the connectivity requirements. In this
example, the resulting IJTAG network will contain a TDR register of nine bits: eight data input
ports, eight data output ports, and all the usual control signal ports. The seven lowest bits of the
TDR register are connected to the seven lowest data output ports of the TDR, which then lead to
the seven data input ports of the instrument. Similarly, the eight data output ports of the
instrument are connected to the eight data input ports of the TDR, from which the lowest eight
bits in the TDR’s register capture the data. The ninth bit in the TDR register and the eighth data
out port is needed because of the multiplexing select line requirement.
Creation of a TDR With More Bits Than Needed for the Current Specification
This example builds on example “Connection of a Parallel Data Instrument to a TDR”, and
shows how to reserve additional bits in the TDR when the connection is not known during
specification processing.
You can use the parameter “length” to specify how many bits the TDR’s register should have;
you cannot specify a length that is smaller than needed to satisfy all other connection
requirements.
DftSpecification
You add a TDR register of length 10.
(TTdr3) {
length : 10 ;
DataOutPorts {
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
}
DataInPorts {
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
page 109 describes an example in which an EDT IP is connected to an existing TDR as part of
the EDT IP Insertion flow.)
DftSpecification
The EDT ICL module contains only DataInPort objects that statically configure the EDT IP
instance. One of those control bits is “edt_bypass”. In the specification, you want to connect bit
9 of the TDR “T3” to the edt bypass port “CA_bypass” in the EDT IP.
(Ttdr3) {
length : 10 ;
DataOutPorts {
Connection(8) : design2_I1/edtIP_I1/CA_bypass;
Connection(6:0) : design2_I1/instrumentA_I1/INA[6:0];
}
DataInPorts {
Connection(7:0) : design2_I1/instrumentA_I1/OUTA[7:0];
}
}
Note that you may need to add the “set_edt_pins bypass -” command to the EDT instance’s
dofile to denote that the edt bypass pin is now internally connected.
DftSpecification
These two examples introduce a HostScanInterface onto which the IJTAG network is
connected. A set of design instance pin pathnames are used to denote the function each of the
design instance pins perform on the host scan interface:
(iHostScanInterfacejtag) {
Interface {
scan_in : main_tap/tdi;
scan_out : main_tap/host1_scanin;
select : main_tap/host1_select;
capture_en : main_tap/ce;
shift_en : main_tap/se;
update_en : main_tap/ue;
reset : main_tap/tlr;
reset_polarity : active_low;
tck : main_tap/tck;
}
}
If the TAP ICL and design modules are available and loaded, the same can be accomplished
more easily in a way similar to the scan instrument connection explained earlier in “Connection
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
of a Basic Scan Instrument to a SIB.” This example assumes that the TAP ICL defines a
ScanInterface named “host1” which includes the scan and outgoing controlling port functions:
the ScanInPort (from the chip-side back to the TAP), ToSelectPort, ToCaptureEnPort,
ToShiftEnPort, and ToUpdateEnPort.
(iHostScanInterfacejtag) {
Interface {
design_instance : main_tap ;
scan_interface: host1 ;
}
}
DftSpecification
The sequence of SIB, TDR, and ScanMux elements in the DftSpecification, read from top to
bottom, defines the order in which they appear in the IJTAG network, from the scan output
towards the scan input. This means for this example, that the SIB with the id “S1” is closest to
the scan output, connected to the scan input port of the TAP, the SIB with id “S3” is connected
to the TDI, and the SIB with the id “S2” is located between the two. The first scan input pin of
“S2” is connected to the scan output pin of “S3”, and the scan output pin of “S3” is connected to
the scan input pin of “S1”. For a detailed example and schematic refer to the description of the
wrapper in the Tessent Shell Reference Manual.
(iHostScanInterfacejtag) {
Interface {
design_instance : main_tap ;
scan_interface: host1 ;
}
(S1) {
}
(S2) {
}
(S3) {
}
}
Next, you want to place “S2” in the ICL sub-network controlled by “S1”. This is easily done by
moving the SIB(S2) wrapper declaration into the wrapper of SIB(S1) as follows.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
(iHostScanInterfacejtag) {
Interface {
design_instance : main_tap ;
scan_interface : host1 ;
}
(S1) {
(S2) {
}
(S3) {
}
}
Usage of a ScanMux
The following example shows how to use a ScanMux. A ScanMux has two scan input ports
(input 0 and input 1), one scan output port, and one 1-bit wide select port. If you need a larger
ScanMux, you must concatenate multiple ScanMuxes.
You should try to control the mux select line using a TDR bit at the scan output side of the
ScanMux; this enables you to change the select line value by scan shifting through the mux and
the TDR. If this is not possible, you should try to control the ScanMux from a TDR or the TAP
higher up in the hierarchy. Avoid trying to control the mux select line using an ICL object (like
a TDR) that is in only one of the two scan input paths because this can lock the mux into only
one configuration.
DftSpecification
The following example shows the usage of a ScanMux in which the mux input 0 is connected to
a 3-bit TDR, input 1 is connected to a 5-bit TDR, and there is a single bit TDR after the mux,
further towards the scan out, which means it is defined first in the DftSpecification. Note how
this TDR is connected to the mux select line. The connection is done by referencing the id of the
TDR and the generic DataOut(0) token, and referencing the data output port connected to the
TDR register bit 0 (which in this case is the only bit of the TDR). Refer to in the Tessent Shell
Reference Manual for complete information about the ScanMux.
(SSib1) {
(Tsel) {
}
(SM1) {
Select : tdr(Tsel)/DataOut(0);
Input(0) {
(T0) {
length : 3 ;
}
}
Input(1) {
(T1) {
length : 5 ;
}
}
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
DftSpecification
You use the “parent_instance” parameter to specify where in the design hierarchy the ICL
object should be inserted. The SIB, TDR, and ScanMux elements all have a “parent_instance”
parameter. You can force the TDR to be placed in the top-level design module by specifying a
period (.) as the parent_instance. This example specifies that the SIB should be inserted at the
design instance path “design2_I1/core1.” The instance path must exist, but any missing ports
are created as needed to connect the object to the rest of the IJTAG network.
(SSib3) {
parent_instance : design2_I1/core1;
(design2_I1/core1/instrumentB_I1) {
}
}
You can use the “leaf_instance_name” parameter to change this default naming convention.
However, you are completely responsible for ensuring that this name is a legal design instance
name. The tool validates the given name before insertion. The tool also uniquifies the name if
needed, based on the default or specified uniquification rules; you can change the uniquification
rules using the command.
DftSpecification
You name the SIB “sib_S3”. Of course, the “leaf_instance_name” can be combined with the
“parent_instance” parameter.
(SSib3) {
leaf_instance_name : sib_S3;
(design2_I1/instrumentB_I1) {
}
}
Change of the Design and ICL Port Names of a SIB, TDR, or ScanMux
In the following example, you specify the name for ports of an IJTAG network object. The SIB,
TDR, and ScanMux modules have default names for all ports. You can use the Interface
wrapper, to change the default names for one, several, or all ports. The mechanism is the same
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
for the SIB, TDR, and ScanMux, although the names and semantics of the ports differ. The
example below shows this mechanism for the ScanMux only.
DftSpecification
You change the name of the ScanMux input ports from the default “mux_in0” and “mux_in1”,
respectively, to “mux_input0” and “mux_input1”; the names of all other ports of the ScanMux
are not changes and still have their default names:
ScanMux(SM1) {
Interface {
input0: mux_input0 ;
input1: mux_input1 ;
}
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Network Insertion
DftSpecification Examples
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 6
IJTAG and ATPG in Tessent Shell
The purpose of the IJTAG functionality within ATPG is to significantly simplify the test_setup
procedure as well as the optional test_end procedure by using IJTAG to configure EDT IPs and
any other embedded IJTAG instruments needed for scan ATPG.
Since IJTAG is only available in Tessent Shell and is not part of the classic ATPG point tools
(FastScan and TestKompress), ATPG must be used within Tessent Shell to leverage this
feature. The Tessent Shell User’s Manual explains the steps required to transition existing
dofiles from the ATPG point tools to ATPG in Tessent Shell.
1. Use the “IJTAG Network Insertion” feature to add the hardware which controls the
static signals of EDT and any other instruments to be driven through IJTAG. This can
be done on the RTL or synthesized netlist.
2. Have the tool generate ICL and PDL for the EDT IP when the EDT IP is generated.
3. Provide ICL models for any other modules involved in the network (if any), such as the
TAP and TDRs.
4. Perform ICL extraction so the connectivity of the ICL network is extracted from the
design.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
IJTAG ATPG Flow Overview
5. Run ATPG. The test_setup (or test_end) procedure may include iCalls which reference
iProcs on any ICL instance. This allows you to enable the low-power mode of an EDT
IP, for example, and have the tool generate the sequence needed to do that in test_setup.
For a detailed description of the IJTAG ATPG flow including details of all the Tessent Shell
commands used in the flow, see “A Detailed IJTAG ATPG Flow” on page 117.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
IJTAG Features of ATPG in Tessent Shell
Module CA_edt {
DataInPort CA_CONFIGURATION { RefEnum ConfigTable; }
DataInPort CA_LOW_POWER { RefEnum OnOffTable; }
DataInPort CA_BYPASS { RefEnum OnOffTable; }
Enum ConfigTable {
LC = 1'b0;
HC = 1'b1;
}
Enum OnOffTable {
off = 1'b0;
on = 1'b1;
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
EDT IP Setup for IJTAG Integration
Your ICL file may vary in the descriptions of the actual data ports, since only those static
configuration inputs that you have defined for the particular EDT IP are used. The name of the
ICL data port is identical to the name of the corresponding design port. Similarly, the name of
the ICL module is identical to the name of your EDT IP in the design.
In addition to the ICL file, the write_edt_files command also generates a matching PDL file
linked to the generated ICL module. It features a single iProc named “setup” that will be
iCall’ed for the respective EDT logic instance. The setup iProc takes parameter-value pairs for
the static configuration inputs. An example iCall for an EDT IP instance named
CA_edt_instance might look as follows:
Note that generic semantic terms, like “edt_configuration” or “edt_bypass” are used for the
parameter denoting the static configuration ports of an EDT IP. The generated PDL file will
translate these semantic terms into the pin names actually used for your EDT IP instance. There
is no need to provide those to the PDL file. Further, there is no need to list every other option
possible for the EDT IP. Only the parameter-value pair that is changed from its default value
needs to be specified. Table 6-1 below lists all the possible ports by parameter keyword and
their default values.
Table 6-1. EDT Configuration Keywords and Values
Parameter Keyword Default Value
edt_configuration 0 ( == LC )
edt_low_power_shift_en 0 ( == off )
edt_bypass 0 ( == off )
edt_single_bypass_chain 0 ( == off )
When the iCall to the generated setup iProc is placed in the test_setup procedure using the
desired parameter-value pairs, it statically configures the EDT IP automatically as part of
test_setup. On the design side, these ICL data ports need to be added to the ICL network, for
example, by connecting them to the parallel data output of a Test Data Register, which is in turn
part of the ICL scan network. (See Chapter 5, IJTAG Network Insertion to learn how to create
such a network). Of course, they can also be connected directly to ports. The PDL retargeting
engine reads the PDL that is called by the test_setup procedure and determines what needs to be
shifted into the top level design in order to set the static configuration bits in the PDL. This is
done automatically by the PDL regargeting engine as part of the test_setup simulation.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
How to Set Up Embedded Instruments Through Test Procedures
procedure test_setup =
timeplate gen_tp1 ;
// cycle 1 starts at time 0
cycle =
force test_mode_EDT 1 ;
force test_mode_MBIST 0 ;
end;
iCall OCC_Inst1.setup
iCall coreA.blockA.edtInst1.setup edt_bypass ON ;
iCall coreA.blockB.edtInst1.setup edt_bypass OFF ;
end;
While the tool is processing the test_setup procedure during the transition to the analysis system
mode, if it encounters an iCall statement, it calls the PDL retargeting engine to retarget the
called iProcs to the current top level. The computed, internal sequence then replaces the iCall in
the internal representation for the test procedure. This processed test procedure, which only
includes events with respect to the port of the current design, is what is passed on to DRC. So
DRC indirectly verifies the resulting sequence. For DRC, there is no difference between
test_setup (or test_end) patterns defined through “force" and “pulse" statements or those
defined through PDL. The latter is just much more convenient, especially when there are many
embedded instruments to set up through a TAP controller. The iCalls in the test procedures must
invoke loaded iProcs, which in turn may use any legal PDL command.
Note that IJTAG is not part of the actual ATPG pattern creation. It only provides the means to
specify the test_setup and test_end procedures, or part of them. Consequently, the ATPG
patterns written to disk will contain patterns derived from the PDL within the test_setup and/or
test_end sections. Again, there is no difference from the traditional way of defining test_setup
or test_end patterns.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
How to Set Up Embedded Instruments Through the Dofile
For IJTAG to work within ATPG’s test_setup and test_end, the Verilog netlist as well as the
entire ICL hierarchy and PDL command files have to be loaded into Tessent Shell. This
includes the top level ICL file. If there is no top level ICL, Tessent Shell can generate one using
the “IJTAG Network Insertion” functionality.
The commands set_test_setup_icall and set_test_end_icall are available in the setup mode of the
“patterns –scan” context to declare one or more iCalls to be added to the end of test_setup or to
the beginning of test_end, respectively, without the need to edit the procedure file itself.
Command lines in the dofile matching the test_setup procedure example above would look like
this:
As before, these three iCalls declared to the ATPG tool through the set_test_setup_icall
command become part of the test_setup procedure and will be executed when the test_setup
procedure is processed.
The next example demonstrates the convenience provided by these dofile commands. It sets all
EDT instances anywhere in the design to the edt_bypass off mode of operation. For this, it first
introspects the design to find all EDT ICL modules, which were named MyEDT in this
example, then calls the set_test_setup_icall command for each instance by looping through a
(string) list of instance path names.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
Implicit and Explicit iReset Commands
Observe that the “-append" option can also be used for the very first set_test_setup_icall
command without any error given by the tool.
In all the examples listed above, the iCalls are executed sequentially in the order they were
declared. On the other hand, IJTAG also allows the parallel execution of iCalls. The next
example shows an iProc that sets up multiple OCC instruments, all in parallel. The PDL
retargeting engine will try to find a solution within the given hardware constraints that allows
for this parallel execution. If it cannot find such a solution, it serializes the parts that cannot be
parallelized. This iProc example below assumes that the top level design/ICL module is named
“top":
iProcsForModule top
iProc parallel_OCC_setup {
iMerge –begin
iCall coreA.OCC_Inst.setup
iCall coreB.OCC_Inst.setup
iMerge –end
Then, in the dofile, there is only one iCall in test_setup to execute for all OCCs:
There are two ways of defining the iProc above, either in a separate file, which can optionally be
generated from the dofile and then sourced, or in the dofile directly, since the iProcsForModule
as well as the iProc keywords are all registered dofile commands.
procedure test_setup =
timeplate gen_tp1 ;
// cycle 1 starts at time 0
cycle =
force test_mode_EDT 1 ;
force test_mode_MBIST 0 ;
end;
iCall OCC_Inst1.setup ;
iCall coreA.blockA.edtInst1.setup edt_bypass ON ;
iCall coreA.blockB.edtInst1.setup edt_bypass OFF ;
end;
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
Implicit and Explicit iReset Commands
To explain this implicit iReset, the test_setup procedure below shows what the tool is actually
evaluating:
procedure test_setup =
timeplate gen_tp1 ;
// cycle 1 starts at time 0
cycle =
force test_mode_EDT 1 ;
force test_mode_MBIST 0 ;
end;
iReset ;
iCall OCC_Inst1.setup ;
iCall coreA.blockA.edtInst1.setup edt_bypass ON ;
iCall coreA.blockB.edtInst1.setup edt_bypass OFF ;
end;
Notice the tool inserted an "iReset" command, just before the very first iCall. This implicit
iReset will happen if the set_test_setup_icall command was used instead of the explicit iCalls in
the test_setup procedure.
While this iReset is needed to establish the initial state of the ICL Network, it could destroy
your design setup state reached through the cycles of force and pulse statements, especially if
there is a TAP controller which would be reset through the iReset command. To prevent this
implicit iReset, you place an explicit iReset command at a convenient location in the test_setup
procedure, for example right at the beginning of test_setup:
procedure test_setup =
timeplate gen_tp1 ;
// cycle 1 starts at time 0
iReset ;
cycle =
force test_mode_EDT 1 ;
force test_mode_MBIST 0 ;
end;
iCall OCC_Inst1.setup ;
iCall coreA.blockA.edtInst1.setup edt_bypass ON ;
iCall coreA.blockB.edtInst1.setup edt_bypass OFF ;
end;
The tool will then no longer issue the implicit iReset. However, you must make sure that after
all cycles are applied, the state of the ICL network components is the reset state. This must hold
true in particular for the state of a TAP controller you might have operated in the cycle
statements.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
A Detailed IJTAG ATPG Flow
You can also combine the explicit iReset with the set_test_setup_icall command to achieve the
same result as the test_setup procedure above:
procedure test_setup =
timeplate gen_tp1 ;
// cycle 1 starts at time 0
iReset ;
cycle =
force test_mode_EDT 1 ;
force test_mode_MBIST 0 ;
end;
end;
As before, the iCalls will be inserted after the last cycle statement, but with no implicit iReset
added before, since there is already an explicit iReset in the test_setup procedure.
Note
In the 2014_1 release and all subsequent releases, PDL commands (iReset, iCall and
iMerge) are no longer allowed in procfiles in the patterns -ijtag context.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
A Detailed IJTAG ATPG Flow
For example, if no embedded compression is used, flow Step 2 can be skipped. Similarly, if the
design already comes with a complete ICL model including the top level ICL module and the
ICL network connecting all relevant instruments, the flow simplifies to only Step 4.
Flow Step 1 inserts an ICL Network. In particular, the DFT specification defines a TDR to
which Step 2b connects the EDT IP’s edt_bypass port. (For simplicity of the example, only the
edt_bypass signal of the EDT IP is shown.) In this example, the TDR has the instance name
“MyTDR” and a DataOutPort named “td". This DataOutPort will be connected to the
edt_bypass port of the EDT IP in Step 2b of the flow.
c. When in analysis mode, write out the EDT IP inserted files. By default, the tool
performs IJTAG mapping and writes out the ICL and PDL file.
write_edt_files <all other option>
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
A Detailed IJTAG ATPG Flow
After synthesis of the EDT IP, generate the top level ICL file. This functionality is only
available in the context patterns –ijtag. If you already have a complete top level ICL file
from somewhere else, proceed to Step 4.
set_context patterns –ijtag
read_cell_library < library files>
read_verilog < design files>
read_icl <your ICL files (EDT module, TAP module, TDR module, …)>
;# Note that the ICL modules will be auto-loaded if the <filename>.icl matches
;# the module name in the design and is in the default or set design search path.
;# This is typically the case for SIB, TAP, and TDR modules, especially if they
were
;# inserted through the ICL Network insertion functionality of Tessent Shell,
shown
;# in Step 1. But this is typically not the case for the EDT IP ICL module generated
in
;# Step 2, since the user provided EDT filename is usually different from the
;# EDT IP module name.
set_module_matching_options <as needed only>
;# to bridge naming conventions between the design and ICL
set_current_design
;# Make sure that you have loaded the design as well as all ICL files before you
;# issue this command. You also must have issued the module matching
;# command beforehand. The reason for this is that set_current_design
;# processes all design information and makes the link between the ICL and
;# design modules. Anything loaded afterwards will not be part of the design
;# going into analysis mode.
set_system_mode analysis
write_icl –output_file [ get_single_name [ get_current_design ] ].icl –replace
;# Assume the top level module is named "top".
4. ATPG.
set_system_mode setup
;# Only needed if you come from a previous step in the flow.
set_context patterns –scan
set_test_setup_icall { OCC_Inst1.setup } –append
;# Adds the iCall to a PDL iProc to test_setup that implements the setup of an
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG and ATPG in Tessent Shell
A Detailed IJTAG ATPG Flow
;# instrument before ATPG. In this example the setup iProc that comes with the
OCC.
dofile ./MyEDT/top_setup.pdl
;# This is the dofile that was generated by the earlier EDT IP insertion step.
;# The actual filename depends on the filename chosen in Step 2.c.
;# As a key IJTAG setup component it executes the “set_test_setup_icall”
;# command explained earlier. It is important to understand the generated dofile.
set_system_mode analysis
create_patterns
;# Do not forget to save your patterns and the flat model.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 7
IJTAG Examples
• ICL Modeling versus Verilog Modeling — The first example demonstrates that there
is no need to model the Verilog description of a module 1:1 in ICL. It is sufficient to
model the IO-behavior of an instrument while the die is in IJTAG mode of operation.
• ICL and PDL Namespaces — The ICL namespaces are not currently supported, but
the concept is discussed for completeness.
• Default Values in ICL — Different ways to define default values in ICL are described
in this section along with examples.
• Attributes of the ICL Extraction Flow — ICL attributes follow the same use model as
attributes elsewhere in Tessent Shell. The example in this section shows the role
attributes play in the ICL extraction flow.
• Scan Chain Integrity Test in Tessent IJTAG— An example in this section shows how
to create an ICL scan chain integrity test.
• How to Define Auto-Return Values and Addressable Registers in ICL — The
example in the “How to Define Auto-Return Values in ICL” section describes a
particular ICL construct that instructs the PDL retargeter to automatically restore
defined bits on a register to a prescribed value by the end of the iApply time frame. The
example is designed to automatically turn off a bit in a scan register encoding a read
enable, so that subsequent read operations may proceed correctly. This automation is
enabled in the PDL retargeter without your intervention.
ICL Modeling versus Verilog Modeling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
ICL Namespaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
PDL Namespaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
How to Define Default Values in ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
Attributes of the ICL Extraction Flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
Scan Chain Integrity Test in Tessent IJTAG . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
How to Define Auto-Return Values in ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
How to Model Addressable Registers in ICL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
ICL Modeling versus Verilog Modeling
For simplicity, the example does not show any clock or enable signals in the Verilog or the ICL.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
ICL Namespaces
Assume that the input port 'ijtag_enable' is active and selects the left-most input of each
multiplexor while the die is in the ijtag mode of operation. Under the assumption of the
ijtag_enable value being constant, you can model the Verilog module in ICL as follows:
Module M1 {
ScanInPort si ;
ScanOutPort so { Source Reg3[0] ; }
ScanRegister Reg1[2:0] {
ScanInSource si ;
}
ScanRegister Reg2[2:0] {
ScanInSource Reg1[0];
}
ScanRegister Reg3[2:0] {
ScanInSource Reg2[0] ;
}
}
This is a straightforward translation of the Verilog module's scan register chain. Just to show
that this is not the only possible translation, consider this following ICL module:
Module M2 {
ScanInPort si ;
ScanOutPort so { Source Reg[0] ; }
ScanRegister Reg[8:0] {
ScanInSource si ;
}
This is an equivalent description of the IO behavior of the instrument. For example, both ICL
modules M1 and M2 allow addressing three 3-bit registers named Reg1, Reg2, and Reg3,
respectively from PDL.
ICL Namespaces
Consider the following problem: Two suppliers deliver ICL and PDL of instruments, but
happen to choose the same name for the instrument. You cannot instantiate both at the same
time. Also binding of PDL iProcs to the modules is no longer unambiguous. IJTAG resolves
this problem with namespaces for ICL and PDL.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
ICL Namespaces
Note
ICL Namespaces are not currently supported; only PDL Namespaces are. This section is
provided for completeness purposes only.
NameSpace A ;
Module MBIST { … }
Now you can bind the PDL that comes with the module 'MBIST' from supplier A to this module
by referencing the namespace.
iProcTargetModule A::MBIST
iProc init {} { … }
NameSpace B ;
Module MBIST { … }
iProcTargetModule B::MBIST
iProc init {} { … }
You now have two ICL modules with their respective PDLs, but separated by individual
namespaces. The ICL instantiations of these two instruments may look like this:
Module TOP {
…
Instance I1 of A::MBIST { … }
Instance I2 of B::MBIST { … }
…
}
Calling the iProcs made available through I1 and I2 is no different than calling iProcs for any
other instrument:
iCall I1.init
iCall I2.init
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
PDL Namespaces
The PDL retargeter resolves the iCall of an iProc named 'init' backwards identifying for
example I2 being an instance of MBIST in the ICL namespace 'B'. In this namespace, bound to
this ICL module, the PDL retargeter found the iProc 'init' and executed the PDL commands in it.
PDL Namespaces
The problem a PDL namespace resolves is related, but distinct from the ICL namespace
problem.
Assume you own an ICL module named M. Again, you have two suppliers, who instantiate
their instruments in your ICL module, but this time they bind the provided PDL to your ICL
module. At the supplier's instrument top-level and downwards, there are no conflicts of either
ICL or PDL objects. However, the PDL these suppliers provide for your module M may
conflict. Both may provide a PDL named 'init' bound to M. Obviously ICL namespaces do not
resolve this problem. The IJTAG standard provides therefore a PDL namespace to further
separate PDL for the same ICL module.
NameSpace MyNS ;
Module M { … }
Your PDL file(s), defining the iProcs, which may be modified by the respective supplier:
Module TOP {
…
Instance I1 of MyNS::M
…
}
You can now iCall both iProcs named 'init' of instance I1 of module M as follows
iCall I1.R::init
iCall I1.S::init
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Define Default Values in ICL
ScanRegister Reg_1[3:0] {
ScanInSource si ;
ResetValue 4'b1001 ;
DefaultLoadValue 4'b1001 ;
}
ScanRegister Reg_2[3:0] {
ScanInSource si ;
DefaultLoadValue 4'b1111 ;
}
In the properties section of the scan register declaration, there are the keywords “ResetValue”
and “DefaultLoadValue”. Both define a scan load value that the PDL retargeter must abide.
When an iReset is issued, the 4-bit scan register Reg_1 in this example will assume the value
'1001' for its register bits. Note that the reset signal does not need to be ICL-routed. It is
implicitly assumed.
Better ICL coding style uses enumeration tables to abstract from data values. The scan register
example above would resemble the following:
ScanRegister Reg_1[3:0] {
ScanInSource si ;
ResetValue resetvalue ;
DefaultLoadValue defaultvalue ;
RefEnum scanRegValTable ;
}
Enum scanRegValTable {
resetvalue 4’b1001 ;
defaultvalue 4’b1001 ;
green 4’b1101 ;
blue 4’b1110 ;
}
The string-value pairs defined by the enumeration table are only a shorthand. You can always
use numbers for reading and writing as usual.
Assume the following user PDL for the ICL example above:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
Attributes of the ICL Extraction Flow
Another interesting behavior of the PDL retargeter is due to the 'DefaultLoadValue' ICL
keyword in the ICL example above. Assume the following user PDL for the ICL example:
iReset
The iWrite command specifies only scan register bit 0. However, the PDL retargeter must shift
in something for the other bits. The default load value defines this.
iReset
If no default load values were defined and the left-most three bits were never written before,
neither explicitly through an iWrite command nor implicitly through an iReset, the IJTAG
default rule is then to write the value 0. This is particularly important for data registers, which
do not necessarily have a reset value defined.
In Tessent Shell, there are several ways to gain access to an attribute or attribute value. This
example uses a reporting function to get a list of all attributes of an entity.
report_attributes
Here it is important to use the correct introspection commands to get access to the ICL entities
and not the (Verilog) design entities. Hence, to report all attributes for the top level ICL module,
in this case named “chip”, use the following command:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
Scan Chain Integrity Test in Tessent IJTAG
In case the ICL module “chip” was created through ICL extraction there will be a number of
built-in attributes listed that are of interest. Below is a partial report:
ANALYSIS> report_attributes [
get_icl_modules chip ]
Attribute Definition
Report
Name
Value
Inheritance
------------------------------------
-------------------------------------------- --------
forced_high_input_port_list
{A[1]} {A[0]} -
forced_high_internal_input_port_list
{a_inst3/A[1]} {a_inst2/A[2]} {a_inst2/A[0]} -
forced_low_input_port_list
{\B[0] } {\B[1] } {A[2]} {pmu_se} -
forced_low_internal_input_port_list
{b_inst2/A} -
icl_extraction_date
Wed Aug 15 00:21:13 2012
-
is_created
true
-
This list of attributes shows that the module 'chip' was created through ICL extraction
(is_created == true), and when this happened (icl_extraction_date). The next line shows how to
get access to a value of an attribute. It returns a Tcl list.
If you do not know the top level name or if you want to have a more generic script, you can
introspect the name as well, as follows. Please note again the use of the correct icl introspection
commands and options. Otherwise you will get the design introspection versions.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Define Auto-Return Values in ICL
automation is provided in Tessent IJTAG to compute chain integrity tests for all ICL scan
chains with a single command.
An ICL scan chain integrity test is defined in two steps: an iWrite to the register, followed by an
iRead from the register. Please note the option '-end_in_pause' of the iApply command. In this
example, you use the same chain test value that Mentor Graphics ATPG tool uses. You can also
use a running 1 or running 0, which is useful to validate a register length and access, or any
other value you determine is meaningful.
Assume you have an application where the enable bits in a TDR must be kept in their off state at
all times, except for the short moments when they are needed. You could require that the author
of the module's PDL remember to turn off these bits, but this would be cumbersome and error
prone. IJTAG provides an automated mechanism in the form of the “iApplyEndState” in ICL.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Define Auto-Return Values in ICL
Module M {
ScanInPort sin;
ScanOutPort sout { Source TDR_2[0] ; }
...
ScanRegister TDR_1[8:0] {
ScanInSource sin;
ResetValue 9’b0;
}
ScanRegister TDR_2[8:0] {
ScanInSource TDR1[0];
ResetValue 9’b0;
}
In this ICL module example the scan register bit TDR_1[8] must be kept at 0. Writing to the
scan register as follows will change this bit:
It is up to the PDL retargeter to first execute the your intention, and then return bit TDR_1[8] to
the 0 value, (as specified in the iApplyEndstate) at the earliest possible opportunity. This
opportunity is usually given with the next iApply statement.
To continue this example, assume that you read from TDR_2 after the above iWrite to TDR_1.
In this example the PDL retargeter will compute the following PDL:
Retargeted PDL:
A second possible opportunity for the tool to restore the iApplyEndState value, if there is no
subsequent iApply command, is through options to the close_pattern_set command. If you use
either the option “close_pattern_set -network_end_state initial” or “close_pattern_set
-network_end_state reset”, the tool has the opportunity through one or several of the
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Model Addressable Registers in ICL
automatically computed iApply blocks statements to not only bring the ICL network into the
requested state, but also put the iApplyEndState value back in place.
The ICL code example in Figure 7-3 shown in the “How to Model Addressable Registers in
ICL” section is extended to demonstrate a practical example.
ICL allows modeling a register addressing scheme controlled from IJTAG ScanRegisters. The
address, data, read enable and write enable values are automatically calculated by the PDL
retargeter.
ICL supports the direct modeling of addressable registers using the AddressPort, ReadEnPort
and WriteEnPort port functions and the AddressValue property within the DataRegister and
Instance construct. Many standard addressing schemes are perfectly modeled with this syntax.
More complex addressing schemes need to be modeled explicitly with DataMux construct on
the read path and DataRegister with WriteDataSource and WriteEnSouce properties on the
write path.
Figure 7-2 is a schematic view of an example with an indirect addressing scheme. To read the
DataOut port of an instrument, the bank register must first be written to select the proper
instrument within the bank. Then, a read transaction is performed on the given bank followed by
a last scan load to capture the result of the read. The read path is modeled with cascaded
DataMux where the first level is selected by the bank register and the second level is selected by
the ReadEnable signal and the bank address.
When doing the final scan load to capture the read value, the solver would normally scan in the
exact same values into the TDR as it did during the second scan load. However, if this is done,
the third scan load would initiate a second read transaction which is not desired. The PCL
retargeter is told to leave the ReadEnable signal to its off value on the last scan load using the
iApplyEndState property within the Alias construct as shown in Figure 7-3.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Model Addressable Registers in ICL
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Model Addressable Registers in ICL
Module block1 {
ScanInPort si1;
ScanOutPort so1 { Source TDR1[0]; }
SelectPort en1;
ShiftEnPort se;
CaptureEnPort ce;
UpdateEnPort ue;
TCKPort tck;
ScanRegister TDR1[63:0] {
ResetValue 64'b0;
ScanInSource si1;
CaptureSource 32'b0,RX_M;
}
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
IJTAG Examples
How to Model Addressable Registers in ICL
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Chapter 8
Verification and Debug of IJTAG
Instruments and Networks
IEEE 1687-2014 (IJTAG) allows describing various instruments and network components
through ICL (Instrument Connectivity Language) files; these ICL files are read and processed
by Tessent IJTAG. A higher-level ICL file representing the current design can then be exported
(ICL extraction) and lower-level PDL test procedures can be regenerated (PDL retargeting)
to a higher-level module.
Inserting new IJTAG instruments in a design and connecting them together modifies the overall
access network. For instance, an instrument may be connected to an IEEE 1500 Wrapper Test
Access Port (WTAP) and this WTAP may in turn be interfaced to an IEEE 1149.1 TAP. To
access the instrument, one thus has to go through the TAP and WTAP to reach it. Depending on
how the connections to the TAP and WTAP are made, accessing the target instrument may
require implementation-specific instruction opcodes and loading data registers with appropriate
data.
Assuming a design has a syntactically-valid ICL description, how do you validate its contents?
Do all described test data registers (TDRs) have the expected length and are connected exactly
as indicated?
An obvious method is to take an existing instrument-level test, retarget it to the current top level
and then simply simulate it – exactly like a functional test. However, the coverage of such a
functional test is usually relatively low and knowing exactly what gets tested isn’t obvious to
determine. Additionally, when simulations fail it is increasingly difficult to figure why.
This chapter provides guidelines and pointers to verify and debug such IJTAG networks and
instruments.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
General Guidelines for Debugging Simulation Results
[...]
extract_icl
set_system_mode analysis
open_pattern_set pset
create_icl_verification_patterns
close_pattern_set
report_pattern_set
write_patterns patterns/check_network.v -verilog –replace[...]
In the above dofile excerpt, a pattern set named “pset” is opened. The verification patterns are
automatically generated by Tessent IJTAG, based on the current design’s extracted ICL. Those
patterns are saved as Verilog testbenches (TBs ) or ATE patterns for simulation with digital
EDA simulators (or for testing an actual silicon device on an ATE).
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
Using ICL Verification Patterns
• Scan register integrity test — verifies that the scan-in to scan-out path of every scan
register works correctly. It also checks whether every scan register can be accessed and
has the correct length. For every scan multiplexer in place, each input must be exercised
at least once.
• Data input & output certification — ensures the parallel IOs of an ICL module
actually capture and drive the intended values, using simulation-based “force” and
“observe” commands. Shifted-in values should be updated on the parallel output and
captured parallel inputs should be shifted-out appropriately.
1. For every possible scan path, issue iWrite commands to set the intended scan mux
select conditions, then issue iWrite and iRead commands to shift the test pattern in/out
to/from the scan registers. If successful, the tested scan mux inputs and the related scan
registers are flagged as tested.
The activation of the scan path could fail due to mutually exclusive scan mux
conditions. In such case, the related scan muxes are being flagged as "to be processed"
in step 2 (below).
2. For each scan mux input that was not tested in step 1, the scan mux condition will be
activated; the pattern for the scan register connected to the scan mux at the input or
output side then gets exercised. If successful, the related scan mux input and scan
register is flagged as tested.
In this step, only one scan mux is activated and the solver has the freedom to activate
everything else that may be required to scan in/out the related scan register.
3. For each scan register not flagged as tested, iWrite and iRead commands apply the
pattern directly and expect the solver to find a solution which activates all necessary
conditions to reach this scan register.
The last two steps above will be skipped if everything is tested during step 1.
A scan register could be part of more than one scan path. In that case it will be tested
multiple times.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
Using ICL Verification Patterns
No patterns are created or generated for paths not containing any scan register (also
known as transparent paths) or only made of scan registers that were explicitly excluded.
An error is generated if scan registers are left untested. This error indicates the scan
registers could not be activated:
// Error: Failed to access following scan registers:
// i1.r1[10:0]
// i1.r2[10:0]
The patterns used to test the scan registers and their connectivity are as follows:
The above patterns ensure the concatenated scan register length is as expected.
Example
Assume an ICL file describes the following design consisting of four scan registers (r1-r4) and
scan muxes (s1-s3):
The above example will result in four scan path configurations being added to the table in the
following order:
Table 8-1. Scan Path Configurations
s1 s2 s3 r1 r2 r3 r4
0 0 0 T T - T
1 0 0 - T - T
1 1 0 - - T T
1 1 1 - - - -
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
Using ICL Verification Patterns
A ‘T’ means the scan register will be tested in this scan path configuration. Remember that
tracing starts at a scan out and keeps tracing backwards until a scan in is encountered.
The algorithm takes into account a list of instances to exclude from the test. This list is
generated from the -instances/-modules and -exclude_instances/-exclude_modules switches
optionally specified by the user. This list is empty by default, that is, all instances will be
considered for test unless specified otherwise.
For such tests to be performed on a given ICL module instance, its tessent_design_instance
attribute must be defined - because the tools then know the related design instance and can
address these pins directly in the design (via Verilog simulation).
The verification process forces and measures internal DataIn and DataOut pin in conjunction
with iWrite and iRead commands. Within a given design, hierarchical parallel DataIn pins are
forced to a specific value before being captured and shifted out with an iRead. Similarly,
iWrite commands are applied to shift in a known value and then update it to DataOut pins
where this value can be compared.
The following steps are performed to certify DataIn pins on every instance with the
tessent_design_instance attribute:
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
ICL Verification Patterns Summary
Note that ICL Extraction sets the tessent_design_instance attribute to the pre-synthesis instance
names whenever those names are available. During the creation of the data pin verification
patterns, the actual design instance names are ignored. The verification pattern generator only
uses the tessent_design_instance attribute to obtain the references to the design pins.
Consequently, the rtl design files provided to ICL extraction must be used during the simulation
of the verification patterns, at least in case that the synthesis modifies the design hierarchy (for
example, because of “generate” loops). In order to obtain data pin verification patterns which
can be simulated using the synthesized netlist with instance names that have been modified by
synthesis, you either have to modify the tessent_design_instance attributes accordingly or run
ICL Extraction based on the synthesized netlist from the beginning (without providing rtl files
to the tool).
It is thus a good idea to display this variable when looking at simulation waveforms. Since it
only increments when a miscompare is recorded, first focus around the simulation time at which
it becomes equal to 1. Much before that time, everything is likely OK — and any additional
failure afterwards may have the very same cause.
Once you zoom in that very first failure, look at the few preceding clock cycles and investigate
what went wrong. Keep in mind that a failing comparison occurring on a serial scan-out port
(such as TDO) is often caused by an erroneous captured value. Although the error may only be
reported once that specific bit is shifted out, you need to look at the time the bit was captured to
diagnose further.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
Conclusion
Conclusion
Using an ICL description at a given design level (for example: for an entire chip),
automatically-generated test patterns can be applied to ensure the integrity of the test access
network. This allows debug to focus on the target instrument itself, rather than having to figure
whether the instrument is properly accessed or not. The command to generate such patterns is
create_icl_verification_patterns.
Debugging simulation waveforms is a tedious process; fortunately one can zoom in closer to the
failure location by looking for the testbench internal variable named _compare_fail_count.
This variable initially starts at 0 and increments +1 whenever mismatches are recorded. Signal
waveforms can then be analyzed near the point in time where the variable increment first
occurred.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Verification and Debug of IJTAG Instruments and Networks
Conclusion
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Appendix A
Getting Help
There are several ways to get help when setting up and using Tessent software tools. Depending
on your need, help is available from documentation, online command help, and Mentor
Graphics Support.
The Tessent Documentation System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143
Mentor Support Services. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
• Shell Command — On Linux platforms, enter mgcdocs at the shell prompt or invoke a
Tessent tool with the -manual invocation switch.
• File System — Access the Tessent InfoHub or PDF bookcase directly from your file
system, without invoking a Tessent tool. For example:
HTML:
firefox $MGC_DFT/docs/infohubs/index.html
PDF
acroread $MGC_DFT/docs/pdfdocs/_bk_tessent.pdf
• Application Online Help — ou can get contextual online help within most Tessent
tools by using the “help -manual” tool command. For example:
> help dofile -manual
This command opens the appropriate reference manual at the “dofile” command
description.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Getting Help
Mentor Support Services
• Software Updates — Get the latest releases and product enhancements to keep your
environment current.
• Mentor Graphics Support Center — Access our online knowledge base, personalized
to your Mentor products.
• Support Forums — Learn, share, and connect with other Mentor users.
• Mentor Ideas — Share ideas and vote for your favorites to shape future products.
More information is available here:
https://support.mentor.com
If your site is under a current support contract, but you do not have a Support Center login,
register today:
https://support.mentor.com/register
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Third-Party Information
For information about third-party software included with this release of Tessent products, refer to the “Third-Party Software
for Tessent Products.”
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
Note - Viewing PDF files within a web browser causes some links not to function. Use HTML for full navigation.
End-User License Agreement
The latest version of the End-User License Agreement is available on-line at:
www.mentor.com/eula
IMPORTANT INFORMATION
USE OF ALL SOFTWARE IS SUBJECT TO LICENSE RESTRICTIONS. CAREFULLY READ THIS LICENSE
AGREEMENT BEFORE USING THE PRODUCTS. USE OF SOFTWARE INDICATES CUSTOMER’S COMPLETE
AND UNCONDITIONAL ACCEPTANCE OF THE TERMS AND CONDITIONS SET FORTH IN THIS AGREEMENT.
ANY ADDITIONAL OR DIFFERENT PURCHASE ORDER TERMS AND CONDITIONS SHALL NOT APPLY.
This is a legal agreement concerning the use of Software (as defined in Section 2) and hardware (collectively “Products”)
between the company acquiring the Products (“Customer”), and the Mentor Graphics entity that issued the corresponding
quotation or, if no quotation was issued, the applicable local Mentor Graphics entity (“Mentor Graphics”). Except for license
agreements related to the subject matter of this license agreement which are physically signed by Customer and an authorized
representative of Mentor Graphics, this Agreement and the applicable quotation contain the parties’ entire understanding
relating to the subject matter and supersede all prior or contemporaneous agreements. If Customer does not agree to these
terms and conditions, promptly return or, in the case of Software received electronically, certify destruction of Software and all
accompanying items within five days after receipt of Software and receive a full refund of any license fee paid.
1.1. To the extent Customer (or if agreed by Mentor Graphics, Customer’s appointed third party buying agent) places and Mentor
Graphics accepts purchase orders pursuant to this Agreement (each an “Order”), each Order will constitute a contract between
Customer and Mentor Graphics, which shall be governed solely and exclusively by the terms and conditions of this Agreement,
any applicable addenda and the applicable quotation, whether or not those documents are referenced on the Order. Any
additional or conflicting terms and conditions appearing on an Order or presented in any electronic portal or automated order
management system, whether or not required to be electronically accepted, will not be effective unless agreed in writing and
physically signed by an authorized representative of Customer and Mentor Graphics.
1.2. Amounts invoiced will be paid, in the currency specified on the applicable invoice, within 30 days from the date of such invoice.
Any past due invoices will be subject to the imposition of interest charges in the amount of one and one-half percent per month
or the applicable legal rate currently in effect, whichever is lower. Prices do not include freight, insurance, customs duties, taxes
or other similar charges, which Mentor Graphics will state separately in the applicable invoice. Unless timely provided with a
valid certificate of exemption or other evidence that items are not taxable, Mentor Graphics will invoice Customer for all
applicable taxes including, but not limited to, VAT, GST, sales tax, consumption tax and service tax. Customer will make all
payments free and clear of, and without reduction for, any withholding or other taxes; any such taxes imposed on payments by
Customer hereunder will be Customer’s sole responsibility. If Customer appoints a third party to place purchase orders and/or
make payments on Customer’s behalf, Customer shall be liable for payment under Orders placed by such third party in the event
of default.
1.3. All Products are delivered FCA factory (Incoterms 2010), freight prepaid and invoiced to Customer, except Software delivered
electronically, which shall be deemed delivered when made available to Customer for download. Mentor Graphics retains a
security interest in all Products delivered under this Agreement, to secure payment of the purchase price of such Products, and
Customer agrees to sign any documents that Mentor Graphics determines to be necessary or convenient for use in filing or
perfecting such security interest. Mentor Graphics’ delivery of Software by electronic means is subject to Customer’s provision
of both a primary and an alternate e-mail address.
2. GRANT OF LICENSE. The software installed, downloaded, or otherwise acquired by Customer under this Agreement, including any
updates, modifications, revisions, copies, documentation, setup files and design data (“Software”) are copyrighted, trade secret and
confidential information of Mentor Graphics or its licensors, who maintain exclusive title to all Software and retain all rights not
expressly granted by this Agreement. Except for Software that is embeddable (“Embedded Software”), which is licensed pursuant to
separate embedded software terms or an embedded software supplement, Mentor Graphics grants to Customer, subject to payment of
applicable license fees, a nontransferable, nonexclusive license to use Software solely: (a) in machine-readable, object-code form
(except as provided in Subsection 4.2); (b) for Customer’s internal business purposes; (c) for the term of the license; and (d) on the
computer hardware and at the site authorized by Mentor Graphics. A site is restricted to a one-half mile (800 meter) radius. Customer
may have Software temporarily used by an employee for telecommuting purposes from locations other than a Customer office, such as
the employee’s residence, an airport or hotel, provided that such employee’s primary place of employment is the site where the
Software is authorized for use. Mentor Graphics’ standard policies and programs, which vary depending on Software, license fees paid
or services purchased, apply to the following: (a) relocation of Software; (b) use of Software, which may be limited, for example, to
execution of a single session by a single user on the authorized hardware or for a restricted period of time (such limitations may be
technically implemented through the use of authorization codes or similar devices); and (c) support services provided, including
eligibility to receive telephone support, updates, modifications, and revisions. For the avoidance of doubt, if Customer provides any
feedback or requests any change or enhancement to Products, whether in the course of receiving support or consulting services,
evaluating Products, performing beta testing or otherwise, any inventions, product improvements, modifications or developments made
by Mentor Graphics (at Mentor Graphics’ sole discretion) will be the exclusive property of Mentor Graphics.
3. BETA CODE.
3.1. Portions or all of certain Software may contain code for experimental testing and evaluation (which may be either alpha or beta,
collectively “Beta Code”), which may not be used without Mentor Graphics’ explicit authorization. Upon Mentor Graphics’
authorization, Mentor Graphics grants to Customer a temporary, nontransferable, nonexclusive license for experimental use to
test and evaluate the Beta Code without charge for a limited period of time specified by Mentor Graphics. Mentor Graphics may
choose, at its sole discretion, not to release Beta Code commercially in any form.
3.2. If Mentor Graphics authorizes Customer to use the Beta Code, Customer agrees to evaluate and test the Beta Code under normal
conditions as directed by Mentor Graphics. Customer will contact Mentor Graphics periodically during Customer’s use of the
Beta Code to discuss any malfunctions or suggested improvements. Upon completion of Customer’s evaluation and testing,
Customer will send to Mentor Graphics a written evaluation of the Beta Code, including its strengths, weaknesses and
recommended improvements.
3.3. Customer agrees to maintain Beta Code in confidence and shall restrict access to the Beta Code, including the methods and
concepts utilized therein, solely to those employees and Customer location(s) authorized by Mentor Graphics to perform beta
testing. Customer agrees that any written evaluations and all inventions, product improvements, modifications or developments
that Mentor Graphics conceived or made during or subsequent to this Agreement, including those based partly or wholly on
Customer’s feedback, will be the exclusive property of Mentor Graphics. Mentor Graphics will have exclusive rights, title and
interest in all such property. The provisions of this Subsection 3.3 shall survive termination of this Agreement.
4. RESTRICTIONS ON USE.
4.1. Customer may copy Software only as reasonably necessary to support the authorized use. Each copy must include all notices
and legends embedded in Software and affixed to its medium and container as received from Mentor Graphics. All copies shall
remain the property of Mentor Graphics or its licensors. Except for Embedded Software that has been embedded in executable
code form in Customer’s product(s), Customer shall maintain a record of the number and primary location of all copies of
Software, including copies merged with other software, and shall make those records available to Mentor Graphics upon
request. Customer shall not make Products available in any form to any person other than Customer’s employees and on-site
contractors, excluding Mentor Graphics competitors, whose job performance requires access and who are under obligations of
confidentiality. Customer shall take appropriate action to protect the confidentiality of Products and ensure that any person
permitted access does not disclose or use Products except as permitted by this Agreement. Customer shall give Mentor Graphics
written notice of any unauthorized disclosure or use of the Products as soon as Customer becomes aware of such unauthorized
disclosure or use. Customer acknowledges that Software provided hereunder may contain source code which is proprietary and
its confidentiality is of the highest importance and value to Mentor Graphics. Customer acknowledges that Mentor Graphics
may be seriously harmed if such source code is disclosed in violation of this Agreement. Except as otherwise permitted for
purposes of interoperability as specified by applicable and mandatory local law, Customer shall not reverse-assemble,
disassemble, reverse-compile, or reverse-engineer any Product, or in any way derive any source code from Software that is not
provided to Customer in source code form. Log files, data files, rule files and script files generated by or for the Software
(collectively “Files”), including without limitation files containing Standard Verification Rule Format (“SVRF”) and Tcl
Verification Format (“TVF”) which are Mentor Graphics’ trade secret and proprietary syntaxes for expressing process rules,
constitute or include confidential information of Mentor Graphics. Customer may share Files with third parties, excluding
Mentor Graphics competitors, provided that the confidentiality of such Files is protected by written agreement at least as well as
Customer protects other information of a similar nature or importance, but in any case with at least reasonable care. Customer
may use Files containing SVRF or TVF only with Mentor Graphics products. Under no circumstances shall Customer use
Products or Files or allow their use for the purpose of developing, enhancing or marketing any product that is in any way
competitive with Products, or disclose to any third party the results of, or information pertaining to, any benchmark.
4.2. If any Software or portions thereof are provided in source code form, Customer will use the source code only to correct software
errors and enhance or modify the Software for the authorized use, or as permitted for Embedded Software under separate
embedded software terms or an embedded software supplement. Customer shall not disclose or permit disclosure of source
code, in whole or in part, including any of its methods or concepts, to anyone except Customer’s employees or on-site
contractors, excluding Mentor Graphics competitors, with a need to know. Customer shall not copy or compile source code in
any manner except to support this authorized use.
4.3. Customer agrees that it will not subject any Product to any open source software (“OSS”) license that conflicts with this
Agreement or that does not otherwise apply to such Product.
4.4. Customer may not assign this Agreement or the rights and duties under it, or relocate, sublicense, or otherwise transfer the
Products, whether by operation of law or otherwise (“Attempted Transfer”), without Mentor Graphics’ prior written consent and
payment of Mentor Graphics’ then-current applicable relocation and/or transfer fees. Any Attempted Transfer without Mentor
Graphics’ prior written consent shall be a material breach of this Agreement and may, at Mentor Graphics’ option, result in the
immediate termination of the Agreement and/or the licenses granted under this Agreement. The terms of this Agreement,
including without limitation the licensing and assignment provisions, shall be binding upon Customer’s permitted successors in
interest and assigns.
4.5. The provisions of this Section 4 shall survive the termination of this Agreement.
5. SUPPORT SERVICES. To the extent Customer purchases support services, Mentor Graphics will provide Customer with updates and
technical support for the Products, at the Customer site(s) for which support is purchased, in accordance with Mentor Graphics’ then
current End-User Support Terms located at http://supportnet.mentor.com/supportterms.
6. OPEN SOURCE SOFTWARE. Products may contain OSS or code distributed under a proprietary third party license agreement, to
which additional rights or obligations (“Third Party Terms”) may apply. Please see the applicable Product documentation (including
license files, header files, read-me files or source code) for details. In the event of conflict between the terms of this Agreement
(including any addenda) and the Third Party Terms, the Third Party Terms will control solely with respect to the OSS or third party
code. The provisions of this Section 6 shall survive the termination of this Agreement.
7. LIMITED WARRANTY.
7.1. Mentor Graphics warrants that during the warranty period its standard, generally supported Products, when properly installed,
will substantially conform to the functional specifications set forth in the applicable user manual. Mentor Graphics does not
warrant that Products will meet Customer’s requirements or that operation of Products will be uninterrupted or error free. The
warranty period is 90 days starting on the 15th day after delivery or upon installation, whichever first occurs. Customer must
notify Mentor Graphics in writing of any nonconformity within the warranty period. For the avoidance of doubt, this warranty
applies only to the initial shipment of Software under an Order and does not renew or reset, for example, with the delivery of (a)
Software updates or (b) authorization codes or alternate Software under a transaction involving Software re-mix. This warranty
shall not be valid if Products have been subject to misuse, unauthorized modification, improper installation or Customer is not in
compliance with this Agreement. MENTOR GRAPHICS’ ENTIRE LIABILITY AND CUSTOMER’S EXCLUSIVE
REMEDY SHALL BE, AT MENTOR GRAPHICS’ OPTION, EITHER (A) REFUND OF THE PRICE PAID UPON
RETURN OF THE PRODUCTS TO MENTOR GRAPHICS OR (B) MODIFICATION OR REPLACEMENT OF THE
PRODUCTS THAT DO NOT MEET THIS LIMITED WARRANTY. MENTOR GRAPHICS MAKES NO WARRANTIES
WITH RESPECT TO: (A) SERVICES; (B) PRODUCTS PROVIDED AT NO CHARGE; OR (C) BETA CODE; ALL OF
WHICH ARE PROVIDED “AS IS.”
7.2. THE WARRANTIES SET FORTH IN THIS SECTION 7 ARE EXCLUSIVE. NEITHER MENTOR GRAPHICS NOR ITS
LICENSORS MAKE ANY OTHER WARRANTIES EXPRESS, IMPLIED OR STATUTORY, WITH RESPECT TO
PRODUCTS PROVIDED UNDER THIS AGREEMENT. MENTOR GRAPHICS AND ITS LICENSORS SPECIFICALLY
DISCLAIM ALL IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
NON-INFRINGEMENT OF INTELLECTUAL PROPERTY.
8. LIMITATION OF LIABILITY. TO THE EXTENT PERMITTED UNDER APPLICABLE LAW, IN NO EVENT SHALL
MENTOR GRAPHICS OR ITS LICENSORS BE LIABLE FOR INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL
DAMAGES (INCLUDING LOST PROFITS OR SAVINGS) WHETHER BASED ON CONTRACT, TORT OR ANY OTHER
LEGAL THEORY, EVEN IF MENTOR GRAPHICS OR ITS LICENSORS HAVE BEEN ADVISED OF THE POSSIBILITY OF
SUCH DAMAGES. IN NO EVENT SHALL MENTOR GRAPHICS’ OR ITS LICENSORS’ LIABILITY UNDER THIS
AGREEMENT EXCEED THE AMOUNT RECEIVED FROM CUSTOMER FOR THE HARDWARE, SOFTWARE LICENSE OR
SERVICE GIVING RISE TO THE CLAIM. IN THE CASE WHERE NO AMOUNT WAS PAID, MENTOR GRAPHICS AND ITS
LICENSORS SHALL HAVE NO LIABILITY FOR ANY DAMAGES WHATSOEVER. THE PROVISIONS OF THIS SECTION 8
SHALL SURVIVE THE TERMINATION OF THIS AGREEMENT.
9.1. Customer acknowledges that Mentor Graphics has no control over the testing of Customer’s products, or the specific
applications and use of Products. Mentor Graphics and its licensors shall not be liable for any claim or demand made against
Customer by any third party, except to the extent such claim is covered under Section 10.
9.2. In the event that a third party makes a claim against Mentor Graphics arising out of the use of Customer’s products, Mentor
Graphics will give Customer prompt notice of such claim. At Customer’s option and expense, Customer may take sole control
of the defense and any settlement of such claim. Customer WILL reimburse and hold harmless Mentor Graphics for any
LIABILITY, damages, settlement amounts, costs and expenses, including reasonable attorney’s fees, incurred by or awarded
against Mentor Graphics or its licensors in connection with such claims.
9.3. The provisions of this Section 9 shall survive any expiration or termination of this Agreement.
10. INFRINGEMENT.
10.1. Mentor Graphics will defend or settle, at its option and expense, any action brought against Customer in the United States,
Canada, Japan, or member state of the European Union which alleges that any standard, generally supported Product acquired
by Customer hereunder infringes a patent or copyright or misappropriates a trade secret in such jurisdiction. Mentor Graphics
will pay costs and damages finally awarded against Customer that are attributable to such action. Customer understands and
agrees that as conditions to Mentor Graphics’ obligations under this section Customer must: (a) notify Mentor Graphics
promptly in writing of the action; (b) provide Mentor Graphics all reasonable information and assistance to settle or defend the
action; and (c) grant Mentor Graphics sole authority and control of the defense or settlement of the action.
10.2. If a claim is made under Subsection 10.1 Mentor Graphics may, at its option and expense: (a) replace or modify the Product so
that it becomes noninfringing; (b) procure for Customer the right to continue using the Product; or (c) require the return of the
Product and refund to Customer any purchase price or license fee paid, less a reasonable allowance for use.
10.3. Mentor Graphics has no liability to Customer if the action is based upon: (a) the combination of Software or hardware with any
product not furnished by Mentor Graphics; (b) the modification of the Product other than by Mentor Graphics; (c) the use of
other than a current unaltered release of Software; (d) the use of the Product as part of an infringing process; (e) a product that
Customer makes, uses, or sells; (f) any Beta Code or Product provided at no charge; (g) any software provided by Mentor
Graphics’ licensors who do not provide such indemnification to Mentor Graphics’ customers; (h) OSS, except to the extent that
the infringement is directly caused by Mentor Graphics’ modifications to such OSS; or (i) infringement by Customer that is
deemed willful. In the case of (i), Customer shall reimburse Mentor Graphics for its reasonable attorney fees and other costs
related to the action.
10.4. THIS SECTION 10 IS SUBJECT TO SECTION 8 ABOVE AND STATES THE ENTIRE LIABILITY OF MENTOR
GRAPHICS AND ITS LICENSORS, AND CUSTOMER’S SOLE AND EXCLUSIVE REMEDY, FOR DEFENSE,
SETTLEMENT AND DAMAGES, WITH RESPECT TO ANY ALLEGED PATENT OR COPYRIGHT INFRINGEMENT
OR TRADE SECRET MISAPPROPRIATION BY ANY PRODUCT PROVIDED UNDER THIS AGREEMENT.
11.1. If a Software license was provided for limited term use, such license will automatically terminate at the end of the authorized
term. Mentor Graphics may terminate this Agreement and/or any license granted under this Agreement immediately upon
written notice if Customer: (a) exceeds the scope of the license or otherwise fails to comply with the licensing or confidentiality
provisions of this Agreement, or (b) becomes insolvent, files a bankruptcy petition, institutes proceedings for liquidation or
winding up or enters into an agreement to assign its assets for the benefit of creditors. For any other material breach of any
provision of this Agreement, Mentor Graphics may terminate this Agreement and/or any license granted under this Agreement
upon 30 days written notice if Customer fails to cure the breach within the 30 day notice period. Termination of this Agreement
or any license granted hereunder will not affect Customer’s obligation to pay for Products shipped or licenses granted prior to
the termination, which amounts shall be payable immediately upon the date of termination.
11.2. Upon termination of this Agreement, the rights and obligations of the parties shall cease except as expressly set forth in this
Agreement. Upon termination of this Agreement and/or any license granted under this Agreement, Customer shall ensure that
all use of the affected Products ceases, and shall return hardware and either return to Mentor Graphics or destroy Software in
Customer’s possession, including all copies and documentation, and certify in writing to Mentor Graphics within ten business
days of the termination date that Customer no longer possesses any of the affected Products or copies of Software in any form.
12. EXPORT. The Products provided hereunder are subject to regulation by local laws and European Union (“E.U.”) and United States
(“U.S.”) government agencies, which prohibit export, re-export or diversion of certain products, information about the products, and
direct or indirect products thereof, to certain countries and certain persons. Customer agrees that it will not export or re-export Products
in any manner without first obtaining all necessary approval from appropriate local, E.U. and U.S. government agencies. If Customer
wishes to disclose any information to Mentor Graphics that is subject to any E.U., U.S. or other applicable export restrictions, including
without limitation the U.S. International Traffic in Arms Regulations (ITAR) or special controls under the Export Administration
Regulations (EAR), Customer will notify Mentor Graphics personnel, in advance of each instance of disclosure, that such information
is subject to such export restrictions.
13. U.S. GOVERNMENT LICENSE RIGHTS. Software was developed entirely at private expense. The parties agree that all Software is
commercial computer software within the meaning of the applicable acquisition regulations. Accordingly, pursuant to U.S. FAR 48
CFR 12.212 and DFAR 48 CFR 227.7202, use, duplication and disclosure of the Software by or for the U.S. government or a U.S.
government subcontractor is subject solely to the terms and conditions set forth in this Agreement, which shall supersede any
conflicting terms or conditions in any government order document, except for provisions which are contrary to applicable mandatory
federal laws.
14. THIRD PARTY BENEFICIARY. Mentor Graphics Corporation, Mentor Graphics (Ireland) Limited, Microsoft Corporation and
other licensors may be third party beneficiaries of this Agreement with the right to enforce the obligations set forth herein.
15. REVIEW OF LICENSE USAGE. Customer will monitor the access to and use of Software. With prior written notice and during
Customer’s normal business hours, Mentor Graphics may engage an internationally recognized accounting firm to review Customer’s
software monitoring system and records deemed relevant by the internationally recognized accounting firm to confirm Customer’s
compliance with the terms of this Agreement or U.S. or other local export laws. Such review may include FlexNet (or successor
product) report log files that Customer shall capture and provide at Mentor Graphics’ request. Customer shall make records available in
electronic format and shall fully cooperate with data gathering to support the license review. Mentor Graphics shall bear the expense of
any such review unless a material non-compliance is revealed. Mentor Graphics shall treat as confidential information all information
gained as a result of any request or review and shall only use or disclose such information as required by law or to enforce its rights
under this Agreement. The provisions of this Section 15 shall survive the termination of this Agreement.
16. CONTROLLING LAW, JURISDICTION AND DISPUTE RESOLUTION. The owners of certain Mentor Graphics intellectual
property licensed under this Agreement are located in Ireland and the U.S. To promote consistency around the world, disputes shall be
resolved as follows: excluding conflict of laws rules, this Agreement shall be governed by and construed under the laws of the State of
Oregon, U.S., if Customer is located in North or South America, and the laws of Ireland if Customer is located outside of North or
South America or Japan, and the laws of Japan if Customer is located in Japan. All disputes arising out of or in relation to this
Agreement shall be submitted to the exclusive jurisdiction of the courts of Portland, Oregon when the laws of Oregon apply, or Dublin,
Ireland when the laws of Ireland apply, or the Tokyo District Court when the laws of Japan apply. Notwithstanding the foregoing, all
disputes in Asia (excluding Japan) arising out of or in relation to this Agreement shall be resolved by arbitration in Singapore before a
single arbitrator to be appointed by the chairman of the Singapore International Arbitration Centre (“SIAC”) to be conducted in the
English language, in accordance with the Arbitration Rules of the SIAC in effect at the time of the dispute, which rules are deemed to be
incorporated by reference in this section. Nothing in this section shall restrict Mentor Graphics’ right to bring an action (including for
example a motion for injunctive relief) against Customer in the jurisdiction where Customer’s place of business is located. The United
Nations Convention on Contracts for the International Sale of Goods does not apply to this Agreement.
17. SEVERABILITY. If any provision of this Agreement is held by a court of competent jurisdiction to be void, invalid, unenforceable or
illegal, such provision shall be severed from this Agreement and the remaining provisions will remain in full force and effect.
18. MISCELLANEOUS. This Agreement contains the parties’ entire understanding relating to its subject matter and supersedes all prior
or contemporaneous agreements. Any translation of this Agreement is provided to comply with local legal requirements only. In the
event of a dispute between the English and any non-English versions, the English version of this Agreement shall govern to the extent
not prohibited by local law in the applicable jurisdiction. This Agreement may only be modified in writing, signed by an authorized
representative of each party. Waiver of terms or excuse of breach must be in writing and shall not constitute subsequent consent, waiver
or excuse.