Bookcase
Revision History ISO-26262
Table of Contents
List of Figures
List of Tables
Chapter 1 Getting Started
Tessent TestKompress
EDT Technology
Scan Channels
Structure and Function
Test Patterns
TestKompress Compression Logic
TestKompress Usage Flow Overview
EDT IP Creation and Pattern Generation Flow
Pre-Synthesis Flow
Tessent Core Description (TCD)
EDT IP Generation
EDT Logic Synthesis
EDT Pattern Generation
Using TCD-Based Flow With Flattened EDT Hierarchy
Tessent Shell User Interface
Chapter 2 The Compressed Pattern Flows
Top-Down Design Flows
The Compressed Pattern Flows
Design Requirements for a Compressed Pattern Flow
Compressed Pattern External Flow
Compressed Pattern Internal Flow
Chapter 3 Scan Chain Synthesis
Design Preparation
Scan Chain Insertion
OCC Sub-Chain Stitching
ATPG Baseline Generation
Chapter 4 Creation of the EDT Logic
Compression Analysis
Analyzing Compression
Preparation for EDT Logic Creation
Parameter Specification for the EDT Logic
Dual Compression Configurations
Defining Dual Compression Configurations
Asymmetric Input and Output Channels
Bypass Scan Chains
Latch-Based EDT Logic
Compactor Type
Pipeline Stages in the Compactor
Pipeline Stages Added to the Channel
Longest Scan Chain Range
EDT Logic Reset
EDT Architecture Version
Specifying Hard Macros
Pulse EDT Clock Before Scan Shift Clocks
Reporting of the EDT Logic Configuration
EDT Control and Channel Pins
EDT Control and Channel Pin Configuration
Functional/EDT Pin Sharing
Shared Pin Configuration
Connections for EDT Pins (Internal Flow Only)
Internally Driven EDT Pins
Structure of the Bypass Chains
Decompressor and Compactor Connections
IJTAG and the EDT IP TCD Flow
Design Rule Checks
Creation of EDT Logic Files
The EDT Logic Files
IJTAG and EDT Logic
Specification of Module/Instance Names
EDT Logic Description
Inserting EDT Logic During Synthesis
Creation of a Reduced Netlist for Synthesis
Chapter 5 Synthesizing the EDT Logic
The EDT Logic Synthesis Script
Synthesis and External EDT Logic
Synthesis and Internal EDT Logic
SDC Timing File Generation
SDC Timing File Generation Using extract_sdc
SDC Timing File Generation Using write_edt_files
EDT Logic/Core Interface Timing Files
Scan Chain and ATPG Timing Files
Chapter 6 Generating and Verifying Test Patterns
Preparation for Test Pattern Generation
EDT Pattern Generation Overview
IJTAG Mapping
Scan Chain Handling
Core Instance Parameters
Used Input Channels
Pattern Generation With Internal Chain Masking Hardware
Updating Scan Pins for Test Pattern Generation
Verification of the EDT Logic
Design Rules Checking (DRC)
EDT Logic and Chain Testing
Reducing Serial EDT Chain Test Simulation Runtime
Test Pattern Generation
Generating Patterns
Compression Optimization
Saving of the Patterns
Post-Processing of EDT Patterns
Simulation of the Generated Test Patterns
Chapter 7 Modular Compressed ATPG
The Modular Flow
Understanding Modular Compressed ATPG
Development of a Block-Level Compression Strategy
Balancing Scan Chains Between Blocks
Sharing Input Scan Channels on Identical EDT Blocks
Channel Sharing for Non-Identical EDT Blocks
Overview of Channel Sharing Functionality
Compression Analysis
EDT IP Creation With Separate Control and Data Input Channels
Rules for Connecting Input Channels from Cores to Top
Channel Sharing Reporting
Channel Sharing Limitations
Mixing Channel Sharing for Non-Identical EDT Blocks and Channel Broadcasting for Identical EDT Blocks
Generating Modular EDT Logic for a Fully Integrated Design
Estimating Test Coverage/Pattern Count for EDT Blocks
Legacy ATPG Flow
Chapter 8 Compressed ATPG Advanced Features
Low-Power Test
Low-Power Shift
Setting Up Low-Power Test
Low Pin Count Test Controller
LPCT Controller Decision Tree
Test Mode Clock Multiplexer Requirement
Sharing of the LPCT Clock and a Top-Level Scan Clock
Shift Clock Control for LPCT Controllers
Type 1 LPCT Controller
Type 2 LPCT Controller
Type 3 LPCT Controller
Tessent OCC and LPCT Usage
LPCT Limitations
LPCT Controller Types
Type 1 - LPCT Controller With Top-level Scan Enable
Type 2 - LPCT Controller With a TAP
Type 3 - LPCT Controller-Generated Scan Enable
LPCT Configuration Examples
Type 1 Controller Generation Example
Type 2 Controller Generation Example
Type 3 Controller Example
Type 1 Controller LPCT Clock Example
Type 2 Controller Scan Shift Clock Example
Compression Bypass Logic
Structure of the Bypass Logic
Generating EDT Logic When Bypass Logic is Defined in the Netlist
Dual Bypass Configurations
Generation of Identical EDT and Bypass Test Patterns
Use of Bypass Patterns in Uncompressed ATPG
Creating Bypass Test Patterns in Uncompressed ATPG
Uncompressed ATPG (External Flow) and Boundary Scan
Boundary Scan Coexisting With EDT Logic
Drive Compressed ATPG With the TAP Controller
Use of Pipeline Stages in the Compactor
Use of Pipeline Stages Between Pads and Channel Inputs or Outputs
Channel Output Pipelining
Channel Input Pipelining
Clocks for Channel Input Pipeline Stages
Clocks for Channel Output Pipeline Stages
Input Channel Pipelines Must Hold Their Value During Capture
DRC for Channel Input Pipelining
DRC for Channel Output Pipelining
Input/Output Pipeline Examples
Change Edge Behavior in Bypass and EDT Modes
Understanding Lockup Cells
Lockup Cell Insertion
Lockup Cell Analysis for Bypass Lockup Cells Not Included as Part of the EDT Chains
Lockups Between Decompressor and Scan Chain Inputs
Lockups Between Scan Chain Outputs and Compactor
Lockups in the Bypass Circuitry
Lockup Cell Analysis for Bypass Lockup Cells Included as Part of the EDT Chains
EDT Lockup and Scan Chain Boundary Lockup Cells
Differences Based on Inclusion/Exclusion of Bypass Lockup Cells in EDT Chains
Lockup Cell Functionality Limitations
Comparison of Bypass Lockup Cell Insertion Results
Lockups Between Channel Outputs and Output Pipeline Stages
Compression Performance Evaluation
Establishing a Point of Reference
Performance Measurement
Performance Improvement
Variance in the Number of Scan Chains
Variance in the Number of Scan Channels
Determining the Limits of Compression
Speed up the Process
Understanding Compactor Options
Understanding Scan Chain Masking in the Compactor
Fault Aliasing
About Reordering Patterns
Handling of Last Patterns
EDT Aborted Fault Analysis
Chapter 9 Integrating Compression at the RTL Stage
IP Generation and Insertion Using EDT Specification
Basic Flow
Pipeline Stage Insertion
Bused EDT Channel Input and Output Connections
Lockup Cells on the Input Side of the EDT Controller
Lockup Cells on the Output Side of the EDT Controller
Lockup Cells Clock Connections
EDT Specification Wrapper Creation
Validating the EDT Specification and Creating the EDT IP
Legacy Skeleton RTL Flow
Skeleton Flow Overview
Skeleton Design Input and Interface Files
Skeleton Design Input File
Input File Format
Input File Example
Skeleton Design Interface File
Creation of the EDT Logic for a Skeleton Design
Longest Scan Chain Range Estimate
Integration of the EDT Logic Into the Design
Skeleton Flow Example
Input File
Interface File
Outputs
Appendix A Getting Help
The Tessent Documentation System
Mentor Support Services
Appendix B EDT Logic Specifications
EDT Logic With Basic Compactor and Bypass Module
EDT Logic With Xpress Compactor and Bypass Module
Decompressor Module With Basic Compactor
Decompressor Module With Xpress Compactor
Input Bypass Logic
Compactor Module
Output Bypass Logic
Single Chain Bypass Logic
Basic Compactor Masking Logic
Xpress Compactor Controller Masking Logic
Dual Compression Configuration Input Logic
Dual Compression Configuration Output Logic
EDT Logic With Power Controller
Appendix C Troubleshooting
Debugging Simulation Mismatches
Resolving DRC Issues
K19 Through K22 DRC Violations
Debugging Best Practices
Understanding K19 Rule Violations
Incorrect Control Signals
Inverted Signals
Incorrect EDT Channel Signal Order
Incorrect Scan Chain Order
X Generated by EDT Decompressor
Using set_gate_report K19
Understanding K22 Rule Violations
Inverted Signals
Incorrect Scan Chain Order
Masking Problems
Using set_gate_report K22
Miscellaneous
Incorrect References in Synthesized Netlist
Limiting Observable Xs for a Compact Pattern Set
Applying Uncompressable Patterns Thru Bypass Mode
If Compression Is Less Than Expected
If Test Coverage Is Less Than Expected
If There Are EDT Aborted Faults
Internal Scan Chain Pins Incorrectly Shared With Functional Pins
Masking Broken Scan Chains in the EDT Logic
Appendix D Dofile-Based Legacy IP Creation and Pattern Generation Flow
EDT IP Generation Dofiles
Test Pattern Generation Files
EDT Bypass Files
EDT Pattern Generation Dofiles
Generated Bypass Dofile and Procedure File
Creation of Test Patterns
Low Pin Count Test Controller Dofiles
Type 1 Controller Example
Type 2 Controller Example
Type 3 Controller Example
Index
Third-Party Information
End-User License Agreement with EDA Software Supplemental Terms
Documentation Feedback