1 Memory Test - Debugging Test Vectors Without ATE Steve Westfall Director Visual Testbench Engineering Summit Design Inc.

Slides:



Advertisements
Similar presentations
Copyright 2000 Cadence Design Systems. Permission is granted to reproduce without modification. Introduction An overview of formal methods for hardware.
Advertisements

Simulation executable (simv)
9-6 The Control Word Fig The selection variables for the datapath control the microoperations executed within datapath for any given clock pulse.
Sumitha Ajith Saicharan Bandarupalli Mahesh Borgaonkar.
Give qualifications of instructors: DAP
Digital Logic Chapter 5 Presented by Prof Tim Johnson
Sequential Circuits1 DIGITAL LOGIC DESIGN by Dr. Fenghui Yao Tennessee State University Department of Computer Science Nashville, TN.
CPT 310 Logic and Computer Design Instructor: David LublinerPhone Engineering Technology Dept.Cell
Universal Verification Methodology (UVM) Benefits Mustafa Khairallah Boost Valley Boost Valley Consulting 1.
CHAPTER 1 Digital Concepts
1 Performed By: Khaskin Luba Einhorn Raziel Einhorn Raziel Instructor: Rivkin Ina Spring 2004 Spring 2004 Virtex II-Pro Dynamical Test Application Part.
02/02/20091 Logic devices can be classified into two broad categories Fixed Programmable Programmable Logic Device Introduction Lecture Notes – Lab 2.
Double buffer SDRAM Memory Controller Presented by: Yael Dresner Andre Steiner Instructed by: Michael Levilov Project Number: D0713.
1/31/20081 Logic devices can be classified into two broad categories Fixed Programmable Programmable Logic Device Introduction Lecture Notes – Lab 2.
4/10/20081 Lab 9 RT methodology introduction Register operations Data Path Control Path ASM Example TA: Jorge Crichigno.
Calc2 Design Allows up to 4 incomplete requests on each port Tag is required to match request to response.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
Chapter 1 Program Design
Principle of Functional Verification Chapter 1~3 Presenter : Fu-Ching Yang.
Sequential Circuits Chapter 4 S. Dandamudi To be used with S. Dandamudi, “Fundamentals of Computer Organization and Design,” Springer,  S.
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
(1) Modeling Digital Systems © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
Introduction to Digital Logic Design Appendix A of CO&A Dr. Farag
VERIFICATION OF I2C INTERFACE USING SPECMAN ELITE By H. Mugil Vannan Experts Mr. Rahul Hakhoo, Section Manager, CMG-MCD Mr. Umesh Srivastva, Project Leader.
FPGA-Based System Design: Chapter 4 Copyright  2004 Prentice Hall PTR HDL coding n Synthesis vs. simulation semantics n Syntax-directed translation n.
ISE. Tatjana Petrovic 249/982/22 ISE software tools ISE is Xilinx software design tools that concentrate on delivering you the most productivity available.
ECE 545 Project 1 Part IV Key Scheduling Final Integration List of Deliverables.
Alon Horn and Oren Ierushalmi Supervised by Mony Orbach Winter 2010 Final Presentation Implementation of an Engine Control Unit over Many-Core System.
1CADENCE DESIGN SYSTEMS, INC. Cadence Proposed Transaction Level Interface Enhancements for SCE-MI SEPTEMBER 11, 2003.
The 8253 Programmable Interval Timer
School of Computer Science G51CSA 1 Computer Systems Architecture Fundamentals Of Digital Logic.
Presenter : Ching-Hua Huang 2013/9/16 Visibility Enhancement for Silicon Debug Cited count : 62 Yu-Chin Hsu; Furshing Tsai; Wells Jong; Ying-Tsai Chang.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
REXAPP Bilal Saqib. REXAPP  Radio EXperimentation And Prototyping Platform Based on NOC  REXAPP Compiler.
COP 3530 PROGRAM, FILE & DATA STRUCTURES Syllabus Syllabus Lab Information Lab Information Overrides Overrides Questions? Questions?
L16 – Testbenches for state machines. VHDL Language Elements  More examples HDL coding of class examples Testbench for example  Testing of examples.
1 H ardware D escription L anguages Modeling Digital Systems.
Array Synthesis in SystemC Hardware Compilation Authors: J. Ditmar and S. McKeever Oxford University Computing Laboratory, UK Conference: Field Programmable.
Module 2 : Behavioral modeling TOPIC : Modeling a Digital pulse UNIT 1: Modeling and Simulation.
Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.
ECS642U Embedded Systems Cyclic Execution and Polling William Marsh.
TOPIC : Different levels of Fault model UNIT 2 : Fault Modeling Module 2.1 Modeling Physical fault to logical fault.
An Overview of Hardware Design Methodology Ian Mitchelle De Vera.
Sequential logic circuits
Assignment write a short notes on 1.Manufacturing Testing. 2.Functional Testing. 3.Files and Text I/O. 4.Differentiate the cpld and fpga architecture.
Lecture 5B Block Diagrams HASH Example.
Input/Output Problems Wide variety of peripherals —Delivering different amounts of data —At different speeds —In different formats All slower than CPU.
Abstraction :Managing Design Complexity through High-Level C-Model Verification Mike Andrews Mentor Graphics Yuan-Shiu Chen present.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
ASIC/FPGA design flow. Design Flow Detailed Design Detailed Design Ideas Design Ideas Device Programming Device Programming Timing Simulation Timing Simulation.
Written by Whitney J. Wadlow
COMBINATIONAL AND SEQUENTIAL CIRCUITS Guided By: Prof. P. B. Swadas Prepared By: BIRLA VISHVAKARMA MAHAVDYALAYA.
Chapter 3 Boolean Algebra and Digital Logic T103: Computer architecture, logic and information processing.
Chapter 7 Input/Output and Storage Systems. 2 Chapter 7 Objectives Understand how I/O systems work, including I/O methods and architectures. Become familiar.
Chapter #6: Sequential Logic Design
Introduction to Compiler Construction
An FPGA Implementation of a Brushless DC Motor Speed Controller
VLSI Testing Lecture 5: Logic Simulation
Dept. of Electrical and Computer Engineering
VLSI Testing Lecture 5: Logic Simulation
Digital System Verification
Figure 13.1 MIPS Single Clock Cycle Implementation.
Implementing Combinational and Sequential Logic in VHDL
Timing Analysis 11/21/2018.
触发器 Flip-Flops 刘鹏 浙江大学信息与电子工程学院 March 27, 2018
CSE 370 – Winter Sequential Logic - 1
ChipScope Pro Software
ChipScope Pro Software
RTL Design Methodology Transition from Pseudocode & Interface
Presentation transcript:

1 Memory Test - Debugging Test Vectors Without ATE Steve Westfall Director Visual Testbench Engineering Summit Design Inc.

2 Why Do This? Introduces Concurrent Engineering into the process Allows for Off-line Test Program development Improves Test Program Debug efficiency

3 Outline Introduction The Device Model The ATE Model ATE Model Functionality Debugging The Test Program Adding Memory Test Features Edge Related Tests Implementation Notes Conclusion

4 Introduction Goals Testbench Methodology What is not covered

5 Goals Debug functional vectors allowing for compression constructs Debug the timing used to test the device Debug edge related tests

6 Testbench Methodology Functionality is defined by: –Timing Diagrams –Sequence of Timing Diagrams Reactive Testbench –Applies timing according to external control –Timing is applied by calling a function to fetch and apply the Timing Diagram

7 Reactive Testbench - Example Timing Diagrams: read, write, wait, ack Control is: 00apply read 01apply write 10apply wait 11apply ack Testbench becomes: switch( control ) { case 00: applyTiming( read ); break; case 01: applyTiming( write ); break; case 10: applyTiming( wait ); break; case 11: applyTiming( ack ); break; }

8 What is not covered ATE Analog Characteristics Device Analog Characteristics DUT Board Analog Characteristics

9 The Device Model Accurate Time HDL Model is Assumed Model may be Behavioral, RTL or Gate Level –NOTE: Behavioral or RTL may need modifications for Accurate Timing Behavioral/RTL are usually unit delay –Scale to Accurate Time if possible –Simulates Faster

10 The ATE Model A reactive Testbench forms the Model ATE Rules Checking gives ATE behavior –Edge Rules (pulse width, cycle boundary) –Inter Cycle Edge Rules –Compression Construct Rules –Valid Shape and Format Rules Table Driven Rules Database Access for Timing Diagrams

11 Simulation Model HDL ATE Model Simulation Environment HDL Device Model SignalConnections Test Program Control ATE Rules Simulation Report

12 ATE Model Functionality There are many Differences between Simulation and ATE Waveforms A Translation Unit Addresses the Differences Timing Diagrams obtained from a Database ATE Rules checked in several logical blocks The model is parametric with respect to pins DUT Model allows for ATE to Device Mapping

13 ATE Model DUT Pins DUT Board Parametric Generic HDL ATE Model Translation Unit Translation Unit Parametric ATE Pins Program Control Report File ATE Shapes ATE Compression Rules ATE Timing Rules

14 Debugging The Test Program The system is data driven –Edges, Shapes and Vectors can be changed On-the-fly Simulation results are viewed as Waveforms A Report File is the key to easy debug –Allows for postmortem debug –Breakpoints in reporting allows for detail at runtime

15 Adding Memory Test Features Memory Test is ALPG oriented Standard Algorithms are Implemented in the Model Control Program becomes a sequence of algorithm selections Vector Set Needs Saving if ATE is not ALPG

16 Algorithm Block Control Program Control Program Walking Ones Walking Ones Checker Board Checker Board Adjacent Cell Adjacent Cell Timing Sequence Timing Sequence Vector Output Vector Output Algorithm Selection Algorithm Selection... ATE Vectors ATE Timing Algorithm Select

17 Edge Related Tests Involves two components in Control Program –Requires Looping –Requires increment of edge time Use the HDL and parameterize requirements Loop requirements are simple Edge time requirements are more involved –Signal Name to move is symbolic –Edge parameters are parametric

18 Implementation Notes HDL is used when a simple scanner could not Control File kept as a scannable file “C” was used form most internal work –Apply Timing –Rules –Algorithms Some ATE Rules get “bent” to cover Design –Ambiguous I/O Transitions for example

19 Conclusion A Reactive Testbench is used to Model ATE ATE Rules gives a Behavioral ATE Model Debug is accomplished by Error Message Standard Algorithms are added for ALPG Edge Related tests are allowed for timing Functional Vectors are validated without ATE