Partner Progress Report Tallinn Technical University

Slides:



Advertisements
Similar presentations
Integrated Circuits Laboratory Faculty of Engineering Digital Design Flow Using Mentor Graphics Tools Presented by: Sameh Assem Ibrahim 16-October-2003.
Advertisements

CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
MICROELETTRONICA Design methodologies Lection 8. Design methodologies (general) Three domains –Behavior –Structural –physic Three levels inside –Architectural.
4/27/2006 ELEC7250: White 1 ELEC7250 VLSI Testing: Final Project Andrew White.
Aug 11, 2006Yogi/Agrawal: Spectral Functional ATPG1 Spectral Characterization of Functional Vectors for Gate-level Fault Coverage Tests Nitin Yogi and.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
(1) Introduction © Sudhakar Yalamanchili, Georgia Institute of Technology, 2006.
Testing and DFT tools ( Installed in our PLD Lab ) Maksim Jenihhin IXX9500 Doktoriseminar TURBO TESTER.
Technical University Tallinn, ESTONIA Overview: Fault Simulation Overview about methods Low (gate) level methods Parallel fault simulation Deductive fault.
CSET 4650 Field Programmable Logic Devices
April 15, Synthesis of Signal Processing on FPGA Hongtao
Testimise projekteerimine: Labor 2 BIST Optimization
Department of Computer Engineering Tallinn University of Technology Estonia Final Workshop of CDC Tallinn, Brotherhood of the Blackheads, 21.
Department of Computer Engineering Tallinn University of Technology Estonia 8 th European Workshop on Microelectronics Education – EWME‘2010 Darmstadt,
Using Mathematica for modeling, simulation and property checking of hardware systems Ghiath AL SAMMANE VDS group : Verification & Modeling of Digital systems.
Shashi Kumar 1 Logic Synthesis: Course Introduction Shashi Kumar Embedded System Group Department of Electronics and Computer Engineering Jönköping Univ.
Matrix Multiplication on FPGA Final presentation One semester – winter 2014/15 By : Dana Abergel and Alex Fonariov Supervisor : Mony Orbach High Speed.
1 of 23 Fouts MAPLD 2005/C117 Synthesis of False Target Radar Images Using a Reconfigurable Computer Dr. Douglas J. Fouts LT Kendrick R. Macklin Daniel.
EVIKINGS II Meeting Tallinn, March 17, 2003 Design and Test of Digital Systems Raimund Ubar Tallinn Technical University
3rd Annual Review Meeting Sinaia, Romania, February 21-22, 2005 REASON (IST ) Third Annual Report Workpackage 3 Raimund Ubar Tallinn Technical.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES Logic Modeling.
Follow-up Courses. ECE Department MS in Electrical Engineering MS EE MS in Computer Engineering MS CpE COMMUNICATIONS & NETWORKING SIGNAL PROCESSING CONTROL.
Section 10: Advanced Topics 1 M. Balakrishnan Dept. of Comp. Sci. & Engg. I.I.T. Delhi.
Technical University Tallinn, ESTONIA 1 Faults in Circuits and Fault Diagnosis 0110 T FaultF 5 located Fault table Test experiment Test generation.
HDL Bencher FPGA Design Workshop. For Academic Use Only Presentation Name 2 Objectives After completing this module, you will be able to:  Describe the.
Tallinn University of Technology Founded as engineering college in 1918, TTU acquired university status in TTU has about 9000 students and 1209 employees,
Introduction to FPGA Created & Presented By Ali Masoudi For Advanced Digital Communication Lab (ADC-Lab) At Isfahan University Of technology (IUT) Department.
- 1 - EE898_HW/SW Partitioning Hardware/software partitioning  Functionality to be implemented in software or in hardware? No need to consider special.
Annual Review Meeting Lviv, Ukraine, February 14-15, 2003 REASON (IST ) First Annual Report Workpackage 03 Raimund Ubar Tallinn Technical University.
Chapter 0 deSiGn conCepTs EKT 221 / 4 DIGITAL ELECTRONICS II.
A Web Laboratory for Visual Interactive Simulation of Epitaxial Growth Feng Liu University of Utah Recently, we have developed a prototype of web laboratory.
DDECS Stara Lesna, Slovakia, April 20, 2004 Tallinn Technical University D&T Education & Training in Europe What are the Main Challenges? Some thoughts.
Electrical and Computer Engineering University of Cyprus LAB 1: VHDL.
1 Hardware Description Languages: a Comparison of AHPL and VHDL By Tamas Kasza AHPL&VHDL Digital System Design 1 (ECE 5571) Spring 2003 A presentation.
Lopamudra Kundu Reg. No. : of Roll No.:- 91/RPE/ Koushik Basak
Technical University Tallinn, ESTONIA Copyright by Raimund Ubar 1 Raimund Ubar N.Mazurova, J.Smahtina, E.Orasson, J.Raik Tallinn Technical University.
Lecture 1 – Overview (rSp06) ©2008 Joanne DeGroat, ECE, OSU -1- Functional Verification of Hardware Designs EE764 – Functional Verification of Hardware.
Arvutitehnika instituut ati.ttu.ee Department of Computer Engineering ati.ttu.ee.
EECE 320 L8: Combinational Logic design Principles 1Chehab, AUB, 2003 EECE 320 Digital Systems Design Lecture 8: Combinational Logic Design Principles.
1 Introduction to Engineering Spring 2007 Lecture 18: Digital Tools 2.
SUBJECT : DIGITAL ELECTRONICS CLASS : SEM 3(B) TOPIC : INTRODUCTION OF VHDL.
EMT 351/4 DIGITAL IC DESIGN Week # 1 EDA & HDL.
Establishment of the Virtual Centre of Excellence
Combinational Logic Design
Mixed-Digital/Analog Simulation and Modeling Research
ELEC 7770 Advanced VLSI Design Spring 2016 Introduction
EEE2135 Digital Logic Design Chapter 1. Introduction
Tallinn Technical University
Introduction to Programmable Logic
Topics Modeling with hardware description languages (HDLs).
FIRST REVIEW.
VLSI Testing Lecture 5: Logic Simulation
Hardware Testing and Designing for Testability
ELEC 7770 Advanced VLSI Design Spring 2014 Introduction
Topics Modeling with hardware description languages (HDLs).
Programmable Logic Devices: CPLDs and FPGAs with VHDL Design
Defect and High Level Fault Modeling in Digital Systems
Matlab as a Development Environment for FPGA Design
ELEC 7770 Advanced VLSI Design Spring 2012 Introduction
Lecture 1.3 Hardware Description Languages (HDLs)
ELEC 7770 Advanced VLSI Design Spring 2010 Introduction
ECE-C662 Introduction to Behavioral Synthesis Knapp Text Ch
VHDL Introduction.
ELEC 7250 – VLSI Testing (Spring 2006)
THE ECE 554 XILINX DESIGN PROCESS
Hierarchical Defect-Oriented Test Generation
Tallinn Technical University
Digital Designs – What does it take
THE ECE 554 XILINX DESIGN PROCESS
Presentation transcript:

Partner Progress Report Tallinn Technical University VILAB: Microelectronics Virtual Laboratory for Cooperation in Research and Knowledge Transfer Partner Progress Report 980901 - 990901 Tallinn Technical University Raimund Ubar

VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University List of subprojects: SP1: Improving FPGA Design Flow by Introducing Test Activities Partners: IIS/EAS, TTU The goal: Integrate the ATPG developed in TTU into the FPGA Design Flow used at the IIS/EAS SP2: Testability Driven System Design Flow Partners: LIU, TTU, TUD The goal: Developing behavioral level ATPG and Testability Analyser for preanalysing SW/HW codesigns SP3: IDDQ ATPG and Testing Partners: ICS, SUT, TTU The goal: Developing an ATPG for combined voltage and current testing and interfacing it to commercial design tools (Mentor Graphics)

Subtasks and subprojects of the Tallinn Technical University VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtasks and subprojects of the Tallinn Technical University 2.2 3.1 3.2 4.1 3.3 4.2 2.3 2.4 SP: High-level ATPG for IP cores SP1: Improving FPGA design flow by test SP2: Testability driven system design flow SP3: IDDQ ATPG and testing SP: Fault model research STU IET IIS/EAS LIU TUD ICS WUT

VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 2.2 (Links to: IIS/EAS, LIU – Subprojects SP1, SP2 ) Results: Fault simulator and ATPG for digital systems WWW Distribution of test generation and fault simulation tools (Turbo-Tester) via URL http://www.pld.ttu.ee/tt/ Tools can be installed: Solaris 2.x, Windows 95/98/NT Current distribution contains utilities for gate-level circuits: three test generators deterministic genetic algorithms random multi-valued simulator for dynamic signal analysis fault simulator EDIF design interface with a library compiler

Subtask 2.3 (Link to: ICS - Subproject SP3 ) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 2.3 (Link to: ICS - Subproject SP3 ) Creation of interfaces between tools Results: Interfaces between design and test generation tools EDIF interface created at TTU was modified to support translation into ISCAS85 format used by test tools of ICS Interface between high-level VHDL description and Hierarchical Test Pattern Generator Subtask 2.4 (Local use – Subproject SP1) Creation of the set of benchmark circuits for evaluating the quality of test tools The following benchmarks are currently available at TTU: Greatest Common Divisor (GCD) Differential Equation (DIFFEQ) 8-bit multiplier (MULT8x8) Data files are available for: behavioral, RTL (in VHDL) and gate-level (in EDIF) descriptions

Subtask 3.1 (Links to IIS/EAS, LIU, ICS – SP1, SP2, SP3) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 3.1 (Links to IIS/EAS, LIU, ICS – SP1, SP2, SP3) Cooperative research in the field of design for testability and test generation (TTU) Results: ATPG developed at TTU has been improved to reach very high speed of test generation (SP1 with IIS/EAS) Publications: DATE`99, ETW`99, Semicon`99 (Singapore) IDDQ ATPG development, linking to commercial design tool (SP3 with IES) DD-based diagnostic model generation from VHDL (SP2 with LIU) Publications: Kluwer Acad. Publishers Under development: ATPG based testability analysis (SP2 with LIU) Testability driven ATPG (SP2 with LIU) Under discussion (Links to WUT, Uni Stuttgart, TIMA): Investigations on the fault model quality (WUT) ATPG for functional BIST (Uni Stuttgart) Design error diagnosis in digital circuits (TIMA)

Subtask 3.2 (Links to IIS/EAS, LIU – SP1, SP2) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 3.2 (Links to IIS/EAS, LIU – SP1, SP2) Cooperative research in VLSI design for applications in digital data processing (IET) Results: Concept of integrating an ATPG into the FPGA design flow (with IIS/EAS) Publications: Joint VILAB publication (IIS/EAS & TTU) Hierarchical diagnostic model for VLSI designs Converters and model generators developed: from RT level VHDL into high-level DD-based diagnostic model from gate-level EDIF into low-level BDD-based diagnostic model Under development: ATPG for testing SW/HW codesigns (with LIU) Under discussion (Link to IET): High level test generation for IP cores

Subtask 3.3 (Links to LIU, TUD – SP2) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 3.3 (Links to LIU, TUD – SP2) Cooperative research in the field of hardware-software codesign (TUD) Results: A fast cycle-based simulator for verification hardware components of HW/SW codesigns was developed Publication: Date`99 Under development: New DD-model for diagnostic describing of behavioral descriptions of specifications for SW/HW codesign is being developed The diagnostic model will be used for developing a behavioral level ATPG and Testability Analyser for preanalysing SW/HW codesigns Publication: Kluwer Academic Publishers

Subtask 4.1 (Links to IIS/EAS,LIU, TUD – SP1, SP2) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 4.1 (Links to IIS/EAS,LIU, TUD – SP1, SP2) Cooperative research in the field of ASIC development using cores (IET) Results: Improving FPGA design flow by introduced test activities A novel FPGA design flow combined with ATPG was developed and experimented on a real FPGA circuit for telecommunication Preliminary experimental results have shown the advantages of using structural tests generated by ATPG compared to using functional test sequences created by designer Publications: Joint VILAB publication (IIS/EAS & TTU) Under development: Design error diagnosis in digital circuits (Link to: TIMA Laboratory) Under discussion: ATPG for functional BIST (Links to: Uni Stuttgart, IIS/EAS)

Subtask 4.2 (Links to IIS/EAS,LIU, TUD – SP1, SP2) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 4.2 (Links to IIS/EAS,LIU, TUD – SP1, SP2) Cooperative research in the field of HW/SW codesign developments (TUD) SP2 - Testability Driven System Design Flow Partners: TTU, LIU, TUD The main goal of the subproject is to investigate a complete SW/HW codesign flow with emphasis on testability analysis and test generation Results: For such investigations, the interface between High Level Synthesis System (its output VHDL description) and the high-level ATPG (its input Decision Diagrams) was created during the 1st project year Under development: Experimental work is to be carried out in cooperation between LIU and TTU

Subtask 5.3 (Link to TU Ilmenau) VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Subtask 5.3 (Link to TU Ilmenau) Cooperative research in multimedial knowledge transfer course on “Advanced methods on Test“ (TTU) Results: Course on Design and Test has been developed The course was carried out (in cooperation with LIU) at Ericsson Telecom AB Concept for Computer Based Interactive Training in the field of "Digital Design and Test" The concept was developed in cooperation with TU Ilmenau It consists on Java applets, user's Web browser and a server, performing all computations Using the interactive teaching software, user can experiment with different methods of test pattern generation, fault simulation, design for testability, built-in self-test, and fault diagnosis Under development: Teaching software for teaching Design and Test

VILAB: Partner Progress Report (980901 - 990901) Tallinn Technical University Publications: VILAB joint publication: G.Elst, K-H.Diener, E.Ivask, J.Raik, R.Ubar. FPGA Design Flow with Automated Test Generation German 11th Workshop on Test Technology and Reliability of Circuits and Systems. Potsdam, 1999, pp. 120-123. Other publications: R.Ubar, J.Raik. Hierarchical Test Generation for Complex Digital Systems with Control and Data Processing Parts. SEMICON Techn. Symp., Singapur May 3-6, 1999, pp.43-64. J.Raik, R.Ubar. High-Level Path Activation Technique to Speed Up Sequential Circuit Test Generation. ETW, Constance, May 25-28, 1999, 5 p. R.Leveugle, R.Ubar. Modeling VHDL Clock-Driven Multi-Processes by Decision Diagrams. In "Mixed Design of Integrated Circuits and Systems". Kluwer Academic Publishers, 1999. R.Ubar, A.Moraviec, J.Raik. Cycle-based Simulation with Decision Diagrams. DATE. Munich, March 9-12, 1999, pp.454-458. R.Ubar, A.Jutman. Hierarchical Design Error Diagnosis in Combinational Circuits by Stuck-at Fault Test Patterns. 6th MIXDES, Krakow, June 17-19, 1999, pp. 437-442.