A VPIbased Combinational IP Core Modulebased Mixed Level Serial Fault Simulation and Test Generation - PowerPoint PPT Presentation

1 / 21
About This Presentation
Title:

A VPIbased Combinational IP Core Modulebased Mixed Level Serial Fault Simulation and Test Generation

Description:

Pedram A. Riahi Zainalabedin Navabi Fabrizio Lombardi ... Justifying Test Sequences. Propagating Test Response. Northeastern University. ATS 2003 ... – PowerPoint PPT presentation

Number of Views:52
Avg rating:3.0/5.0
Slides: 22
Provided by: Lab275
Category:

less

Transcript and Presenter's Notes

Title: A VPIbased Combinational IP Core Modulebased Mixed Level Serial Fault Simulation and Test Generation


1
A VPI-based Combinational IP Core Module-based
Mixed Level Serial Fault Simulation and Test
Generation Methodology
  • Pedram A. Riahi Zainalabedin Navabi
    Fabrizio Lombardi
  • Electrical and Computer Engineering Department
  • Northeastern University

ATS 2003
2
Introduction
  • System-on-Chip (SOC)
  • SOC Testing
  • Present Solutions
  • Hardware Description Languages (HDLs)
  • SOC Testing using VPI
  • ISCAS85 Benchmarks
  • Conclusion and Future Works

3
System-on-Chip (SOC)
  • Complex Functional Blocks
  • System-on-Board
  • Core
  • µP/µC
  • DSP
  • Memory
  • Function-Specific
  • Logic Element
  • Communication
  • Peripheral
  • Analog Device

4
System-on-Chip (SOC)
  • Reusable Cores
  • Core Types
  • Soft (Synthesizable)
  • Firm
  • Hard
  • Intellectual Property (IP)
  • In-house cores

5
SOC Testing
  • Traditional Test Methods
  • Core-Level Testing
  • Design For Test (DFT)
  • Automatic Test Pattern Generation (ATPG)
  • Chip-Level Testing
  • Justifying Test Sequences
  • Propagating Test Response

6
Present Solutions
  • Core-Level Testing
  • System Chips Functional Test
  • Direct Access (I/O Muxing)
  • Local Boundary-Scan or Collar Register
  • Full-Scan / Built-in-Self-Test (BIST)
  • Proprietary Solution
  • Chip-Level Testing

7
Present Solutions
  • Full-Scan / Boundary-Scan (FScan-BScan)

Full- or Partial-Isolating Rings / Control Points
FScan-BScan
8
Present Solutions
  • Full-Scan / Test Bus (FScan-TBus)
  • Test Bus / Boundary-Scan Chain

9
Present Solutions
  • Binary Decision Diagram (BDD)
  • Partial Netlist / Partial Boundary Scan

10
Present Solutions
  • Core Transparency

FPath
HScan
11
Present Solutions
  • IEEE P1500
  • BIST
  • Chip-Level Testing
  • Parallel Direct Access
  • Serial Scan Access
  • Functional Access

12
Hardware Description Languages (HDLs)
  • VHDL
  • Verilog
  • Procedural Interfaces
  • VHPI
  • VPI
  • Cadence Verilog-XL
  • C Platform

13
SOC Testing with VPI
  • VPI-based
  • Test Environment
  • VPI-based
  • Fault Simulation
  • Single Stuck-at Fault
  • Serial
  • VPI-based
  • Test Generation
  • Random Pattern

14
SOC Testing with VPI
  • Mixed Level Fault Simulation

Wrapper Structure
15
SOC Testing with VPI
  • Proposed VPI Tasks for Fault Simulation
  • faultlist
  • Node Type reg, net
  • Node Name .module_name/node_name
  • Stuck-at sa0, sa1
  • Not Injected
  • Injected but not Detected
  • Partially Detected
  • Detected
  • faultinjection
  • updatefaultlist

16
SOC Testing with VPI
  • Proposed VPI Tasks for Test Generation
  • faultcoverage
  • morefault
  • decide
  • readstatus, restorestatus
  • Status 0, 1, X, Z
  • randomvector
  • saveoutput, compareoutput
  • savevector

17
SOC Testing with VPI
  • Initialization
  • doread true
  • faultlist
  • while !(faultcoverage(coverage) satisfied)
  • if (doread) readstatus
  • randomvector(depth)
  • readmem
  • for (all vectors) Apply Vector saveoutput
  • Fault Injection and Simulation
  • Decide
  • Red is just required for Sequential Designs

18
SOC Testing with VPI
  • Fault Injection and Simulation
  • Lindex 0
  • while (morefault)
  • restorestatus
  • faultinjection(1)
  • flag true
  • for (all vectors and flag)
  • Apply Vector
  • if (compareoutput detected)
  • updatefaultlistone(1)
  • flag false Lindex Largest index
  • faultinjection(2)

19
SOC Testing with VPI
  • Decide
  • if (decide(limit) GOOD)
  • savevector
  • updatefaultlist(2)
  • if (Lindex gt depth)
  • restorestatus
  • for (all vectors that index lt Lindex) Apply
    Vector
  • doread true
  • else
  • restorestatus
  • updatefaultlist(3)
  • doread false

20
ISCAS85 Benchmarks
  • Flat Serial Fault Simulation (WRTLT02)
  • Mixed Level Serial Fault Simulation (ESA03)
  • Behavioral Operations vs. Primitive Gates
  • Average of 30 Reduction in Simulation Run Time
  • Added Behavioral Modules has NO Affect of Final
    Design

21
Conclusion and Future Works
  • A Methodology for SOC IP Core Testing
  • Serial Fault Simulation
  • Random Pattern Test Generation
  • Eliminating Traditional Hardware Wrappers
  • Delay and Area Overheads
  • SOC Benchmarks with Higher Level Behavioral
    Descriptions
  • Parallel or Deductive Fault Simulation
  • VPI-based PODEM
Write a Comment
User Comments (0)
About PowerShow.com