ON LINE TEST GENERATION AND ANALYSIS R. Šeinauskas Kaunas University of Technology LITHUANIA.

Slides:



Advertisements
Similar presentations
TOPIC : SYNTHESIS DESIGN FLOW Module 4.3 Verilog Synthesis.
Advertisements

ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 31/22alt1 Lecture 31 System Test (Lecture 22alt in the Alternative Sequence) n Definition n Functional.
Apr. 20, 2001VLSI Test: Bushnell-Agrawal/Lecture 311 Lecture 31 System Test n Definition n Functional test n Diagnostic test  Fault dictionary  Diagnostic.
University Of Vaasa Telecommunications Engineering Automation Seminar Signal Generator By Tibebu Sime 13 th December 2011.
Presenter: PCLee – This paper outlines the MBAC tool for the generation of assertion checkers in hardware. We begin with a high-level presentation.
MICROELETTRONICA Design methodologies Lection 8. Design methodologies (general) Three domains –Behavior –Structural –physic Three levels inside –Architectural.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Spring 07, Jan 16 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 Introduction Vishwani D. Agrawal James J. Danaher.
Copyright  1999 Daniel D. Gajski IP – Based Design Methodology Daniel D. Gajski University of California
Digital System Design Verilog ® HDL Maziar Goudarzi.
BIST vs. ATPG.
From Concept to Silicon How an idea becomes a part of a new chip at ATI Richard Huddy ATI Research.
Using VHDL VHDL used for Simulation Synthesis.
COE 405 Introduction to Digital Design Methodology
What is an IP Core ?.
Design methodology.
1 Chapter 2. The System-on-a-Chip Design Process Canonical SoC Design System design flow The Specification Problem System design.
TM Efficient IP Design flow for Low-Power High-Level Synthesis Quick & Accurate Power Analysis and Optimization Flow JAN Asher Berkovitz Yaniv.
1 VERILOG Fundamentals Workshop סמסטר א ' תשע " ה מרצה : משה דורון הפקולטה להנדסה Workshop Objectives: Gain basic understanding of the essential concepts.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
COE4OI5 Engineering Design. Copyright S. Shirani 2 Course Outline Design process, design of digital hardware Programmable logic technology Altera’s UP2.
CAD Techniques for IP-Based and System-On-Chip Designs Allen C.-H. Wu Department of Computer Science Tsing Hua University Hsinchu, Taiwan, R.O.C {
Are classical design flows suitable below 0.18  ? ISPD 2001 NEC Electronics Inc. WR0999.ppt-1 Wolfgang Roethig Senior Engineering Manager EDA R&D Group.
Principles Of Digital Design Chapter 1 Introduction Design Representation Levels of Abstraction Design Tasks and Design Processes CAD Tools.
Lecture 17 Lecture 17: Platform-Based Design and IP ECE 412: Microcomputer Laboratory.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
Digitaalsüsteemide verifitseerimise kursus1 Digitaalsüsteemide verifitseerimine IAF0620, 5.0 AP, E Jaan Raik IT-208,
EECS 318 CAD Computer Aided Design LECTURE 1: Introduction.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Hardware Design Environment Instructors: Fu-Chiung Cheng ( 鄭福炯 ) Associate Professor Computer Science & Engineering Tatung University.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Design methodologies.
Lecture 2 1 ECE 412: Microcomputer Laboratory Lecture 2: Design Methodologies.
COE 405 Design and Modeling of Digital Systems
IEEE ICECS 2010 SysPy: Using Python for processor-centric SoC design Evangelos Logaras Elias S. Manolakos {evlog, Department of Informatics.
ESL and High-level Design: Who Cares? Anmol Mathur CTO and co-founder, Calypto Design Systems.
THE TESTING APPROACH FOR FPGA LOGIC CELLS E. Bareiša, V. Jusas, K. Motiejūnas, R. Šeinauskas Kaunas University of Technology LITHUANIA EWDTW'04.
1 System-on-Chip (SoC) Testing An Introduction and Overview of IEEE 1500 Standard Testability Method for Embedded Core-based ICs.
Quality Driven SystemC Design By Nasir Mahmood. Hybrid Approach The idea here is to combine the strengths of simulation – namely the ability to handle.
The Macro Design Process The Issues 1. Overview of IP Design 2. Key Features 3. Planning and Specification 4. Macro Design and Verification 5. Soft Macro.
UNIT 1 Introduction. 1-2 OutlineOutline n Course Topics n Microelectronics n Design Styles n Design Domains and Levels of Abstractions n Digital System.
Business Trends and Design Methodologies for IP Reuse Allen C.-H. Wu Department of Computer Science Tsing Hua University Hsinchu, Taiwan, R.O.C {
Module 1.2 Introduction to Verilog
TOPIC : SYNTHESIS INTRODUCTION Module 4.3 : Synthesis.
SpecC stands for “specification description language based on C”.
EE 466/586 VLSI Design Partha Pande School of EECS Washington State University
REALIZATION-INDEPENDENT TESTING OF DIGITAL SYSTEMS R. Šeinauskas Kaunas University of Technology LITHUANIA.
Spring 2007 W. Rhett Davis with minor editing by J. Dean Brock UNCA ECE Slide 1 ECE 406 – Design of Complex Digital Systems Lecture 1: Introduction.
Introductory project. Development systems Design Entry –Foundation ISE –Third party tools Mentor Graphics: FPGA Advantage Celoxica: DK Design Suite Design.
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.
System-level power analysis and estimation September 20, 2006 Chong-Min Kyung.
DEVICES AND DESIGN : ASIC. DEFINITION Any IC other than a general purpose IC which contains the functionality of thousands of gates is usually called.
IMPLEMENTATION OF MIPS 64 WITH VERILOG HARDWARE DESIGN LANGUAGE BY PRAMOD MENON CET520 S’03.
1 IAF0620, 5.0 AP, Exam Jaan Raik ICT-524, , Digital systems verification.
ECE 551: Digital System Design & Synthesis Motivation and Introduction Lectures Set 1 (3 Lectures)
Chapter 11 System-Level Verification Issues. The Importance of Verification Verifying at the system level is the last opportunity to find errors before.
ASIC/FPGA design flow. Design Flow Detailed Design Detailed Design Ideas Design Ideas Device Programming Device Programming Timing Simulation Timing Simulation.
Real-Time System-On-A-Chip Emulation.  Introduction  Describing SOC Designs  System-Level Design Flow  SOC Implemantation Paths-Emulation and.
Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)
A FAULT MODEL OF INPUT-OUTPUT PIN PAIRS AND TRIPLETS
ASIC Design Methodology
ELEC 7770 Advanced VLSI Design Spring 2016 Introduction
VLSI Testing Lecture 14: System Diagnosis
IP – Based Design Methodology
ELEC 7770 Advanced VLSI Design Spring 2014 Introduction
Design Flow System Level
ELEC 7770 Advanced VLSI Design Spring 2012 Introduction
ELEC 7770 Advanced VLSI Design Spring 2010 Introduction
HIGH LEVEL SYNTHESIS.
Presentation transcript:

ON LINE TEST GENERATION AND ANALYSIS R. Šeinauskas Kaunas University of Technology LITHUANIA

Tools n n On line test generation and analysis tools are developed under project REASON n n All tools have common frame and are accessible by conventional browser after registration

QUESTION n n Why tools on high level of abstraction are necessary?

Introduction Idea, Algorithm RTL Description Gate Level Netlist Layout Defect-Based Test Generation Defects Conventional Test Generation Fault model of gates High-Level Test Generation Description distortion model Test Generation for Algorithms Black-box fault model

Test Generation Tasks Conventional Test Generation Fault model of gates High-Level Test Generation Description distortion model Test Generation for Algorithms Black-box fault model Defect-Based Test Generation Defects Test generation for all possible realizations of circuit description Test generation for defects Test generation for all possible realizations of cells Test generation for all possible descriptions and all possible realizations of circuit

ASIC Design Flow n n In the standard ASIC design flow the designers mainly work on RT- (or higher) level descriptions. n n Nowadays logic synthesis tools automatically generate gate-level descriptions. n n However, most of the test activities (test structure insertion, test vector generation, fault coverage evaluation, etc,) are still performed on the gate- level netlists.

Time-to-Market n n Time-to-Market depends on the duration of the logic and layout synthesis and on the duration of the design for test and test generation. n n The design for test and test generation on the system level-level model can reduce time-to- market. n n Starting test development at the end of the design process greatly prolongs the time-to-market.

System-level model n n If a top-down design methodology is used, then a system-level model of the chip exists early in the design process. n n This system-level model can be used during the development of the test program. n n Thus, the test engineers can become involved with the project much earlier, and like the block designers, are given a working virtual prototype of the chip in the form of a system–level model.

Time-to-Market System- level model RT-level model Gate-level model Layout DFT and Test generation

Design complexity n n Design complexity drives the need to reuse legacy or IP ( intellectual Property) cores in Systems on a chip ( SoC). n n High Level modules of SoC are often specified in terms of their behavior only. n n SoC designs rely heavily on reusable and pre- designed cores or intellectual property ( IP) modules, whose gate-level implementation details are unavailable.

Test reuse n n Systems designers become system architects reusing more and more proven components and their test processes. n n Test reuse must follow the same path. n n Conventional single–at fault models associated with internal logical gates or their inter connections are not applicable for test reuse. n n Structural defect-based test involves no test reuse, as tests are usually generated after structural synthesis.

Reusable tests n n The implementation depends on SoC manufacturing technologies and is permanently changing in SoC lifecycle. n n Time-to-Market, reuse legacy or IP cores in Systems on a chip design drives the need to use realization-independent testing. n n How core vendors can provide reusable tests for new implementations?

Important questions n n Can a test based on functional fault model be effective in uncovering physical defects? n n How is its effectiveness dependent on the synthesized structure? n n These are important questions, not only for test reuse, but also due to fact that soft cores can be synthesized by different electronic design automation systems, and mapped in different cell libraries and manufacturing technologies.

Design Flow System- level model Gate-level model Synthesis DFT and Test generation Time-To-Market System- level model Synthesis DFT and Test generation Gate-level model Test sequences Test supplement on switch-level model Test supplement on System-level model Defect coverage analysis

Design Flow n n In any case fault coverage analysis on gate level model is necessary, but it is not time consuming task. n n The length of test sequences generated on system- level model can be compacted together with the fault coverage analysis. Therefore, the length of test sequences generated on system-level model is not a critical parameter.

On Line Tools n n User needs only Browser n n The model on programming language C n n Login name and Password will be send by