DSI Division of Integrated Systems Design Functional Verification Environments Development Goals Our main goals are in the field of developing modular.

Slides:



Advertisements
Similar presentations
Using emulation for RTL performance verification
Advertisements

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.
CS 325: Software Engineering January 13, 2015 Introduction Defining Software Engineering SWE vs. CS Software Life-Cycle Software Processes Waterfall Process.
Synchron’08 Jean-François LE TALLEC INRIA SOP lab, AOSTE INRIA SOP lab, EPI AOSTE ScaleoChip Company SoC Conception Methodology.
LOGO HW/SW Co-Verification -- Mentor Graphics® Seamless CVE By: Getao Liang March, 2006.
HW/SW- Codesign Verification and Debugging. HW versus SW Ondrej Cevan.
Copyright 2001, Agrawal & BushnellDay-1 AM Lecture 11 Design for Testability Theory and Practice January 15 – 17, 2005 Vishwani D. Agrawal James J. Danaher.
DSI Division of Integrated Systems Design Research Institute for Applied Microelectronics (IUMA) IUMA Mission The Research Institute for Applied Microelectronics.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 11 Lecture 1 Introduction n VLSI realization process n Verification and test n Ideal and real tests.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
DSI Division of Integrated Systems Design Applications: Core routers Integrated Systems for Broadband Communications The goal of this research area is.
DSI Division of Integrated Systems Design Proven experience in: Applications: Integrated Systems for Multimedia Processing Goals Our group of engineers.
DSI Division of Integrated Systems Design No switch fabric required Highlights: Access and edge routers Applications: Truly output queuing Highly integrated.
1 Application Specific Integrated Circuits. 2 What is an ASIC? An application-specific integrated circuit (ASIC) is an integrated circuit (IC) customized.
JTAG testing with XJTAG. XJTAG – Not what you have thought of…
Copyright 2001, Agrawal & BushnellDay-1 AM-1 Lecture 11 Testing Analog & Digital Products Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical.
BIST vs. ATPG.
Software Issues Derived from Dr. Fawcett’s Slides Phil Pratt-Szeliga Fall 2009.
Matlab as a Design Environment for Wireless ASIC Design June 16, 2005 Erik Lindskog Beceem Communications, Inc.
Formal verification Marco A. Peña Universitat Politècnica de Catalunya.
Software Testing Name: Madam Currie Course: Swen5431 Semester: Summer 2K.
Introduction to Software Testing
EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
© Copyright Alvarion Ltd. Hardware Acceleration February 2006.
Copyright 2001, Agrawal & BushnellLecture 1 Introduction1 VLSI Testing Dr. Vishwani D. Agrawal James J. Danaher Professor of Electrical and Computer Engineering.
VERIFICATION OF I2C INTERFACE USING SPECMAN ELITE By H. Mugil Vannan Experts Mr. Rahul Hakhoo, Section Manager, CMG-MCD Mr. Umesh Srivastva, Project Leader.
1 FIPS 140 Validation for a “System-on-a-Chip” September 27, 2005 NIST Physical Testing Workshop.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
1 LabVIEW DSP Test Integration Toolkit. 2 Agenda LabVIEW Fundamentals Integrating LabVIEW and Code Composer Studio TM (CCS) Example Use Case Additional.
ASIC/FPGA design flow. FPGA Design Flow Detailed (RTL) Design Detailed (RTL) Design Ideas (Specifications) Design Ideas (Specifications) Device Programming.
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Testability and architecture. Design methodologies. Multiprocessor system-on-chip.
Mixed-abstraction Modeling Approach with Fault Injection for Hardware-Firmware Co-design and Functional Co-verification of an Automotive Airbag System.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
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.
Developing software and hardware in parallel Vladimir Rubanov ISP RAS.
- 1 - EE898_HW/SW Partitioning Hardware/software partitioning  Functionality to be implemented in software or in hardware? No need to consider special.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
March, 2007Intro-1http://csg.csail.mit.edu/arvind Design methods to facilitate rapid growth of SoCs Arvind Computer Science & Artificial Intelligence Lab.
ICS 216 Embedded Systems Validation and Test Instructor: Professor Ian G. Harris Department of Computer Science University of California Irvine.
2D/3D Integration Challenges: Dynamic Reconfiguration and Design for Reuse.
1 Extending FPGA Verification Through The PLI Charles Howard Senior Research Engineer Southwest Research Institute San Antonio, Texas (210)
Verification – The importance
1 Hardware/Software Co-Design Final Project Emulation on Distributed Simulation Co-Verification System 陳少傑 教授 R 黃鼎鈞 R 尤建智 R 林語亭.
SOC Virtual Prototyping: An Approach towards fast System- On-Chip Solution Date – 09 th April 2012 Mamta CHALANA Tech Leader ST Microelectronics Pvt. Ltd,
CASE (Computer-Aided Software Engineering) Tools Software that is used to support software process activities. Provides software process support by:- –
Integration testing Integrate two or more module.i.e. communicate between the modules. Follow a white box testing (Testing the code)
EE694v-Verification-Lect7-1- Verification Plan & Levels of Verification The Verification Plan Yesterdays and today’s design environment Design specification.
Silicon Programming--Testing1 Completing a successful project (introduction) Design for testability.
Chapter 11 System-Level Verification Issues. The Importance of Verification Verifying at the system level is the last opportunity to find errors before.
Creation and Utilization of a Virtual Platform for Embedded Software Optimization: An Industrial Case Study Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo.
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
DAC50, Designer Track, 156-VB543 Parallel Design Methodology for Video Codec LSI with High-level Synthesis and FPGA-based Platform Kazuya YOKOHARI, Koyo.
EMT 351/4 DIGITAL IC DESIGN Week # 1 EDA & HDL.
Programmable Logic Devices
Programmable Hardware: Hardware or Software?
VLSI Testing Lecture 14: System Diagnosis
Real Number Modeling Enables Fast, Accurate Functional Verification
Figure 1 PC Emulation System Display Memory [Embedded SOC Software]
Introduction to Software Testing
Matlab as a Design Environment for Wireless ASIC Design
A High Performance SoC: PkunityTM
Functional Safety Solutions for Automotive
Presentation transcript:

DSI Division of Integrated Systems Design Functional Verification Environments Development Goals Our main goals are in the field of developing modular verification environments that support module, cluster, chip and system level verification. Research and development done by our engineers will enhance your SoC verification by including the capability of re-running the process as the design specifications are updated just by performing some simple changes in the interfaces or by adding new functionality features. We facilitate fast verification tasks by mapping flexible verification environments into hardware using emulation solutions in order to support prototype testing at the final stage of the design. Verification solutions Modular Environment  Module, cluster, chip & system levels  Adaptive solution to spec changes  Hierarchical and easy to apply  Independence and compatibility with commercial simulators Module to System level verification Corner Case Verification Mode  Verification of the deterministic knowledge of the circuit  Special cases checking  Assertion rules extracted from RTL Wide C++ Class Library for ad-hoc Development  Verification measurement confidence Path, toggle and fault coverage metrics Embedded counters of equivalent and undetectable faults due to reconvergence fanout  Pattern Generation: Random generators Statistical analysis  General-purpose objects and application specific data types Modular environments Co-verification Emulation Hw/Sw modeling Performance analysis Verilog, e-language, VHDL, SystemC… Pattern generators Prototypes testing Integrated Systems for Broadband Communications Challenges in today’s SoC (System-on-Chip) design need robust system verification environments which ensure the correctness at every design level (module, cluster, chip and/or system level). Verification represents much of the success in a commercial product, and failures detection at early stages in the design flow permits a good price reduction. However, writing adhoc testbenches is tedious, unproductive and its reusability is low. DSI provides high performance software and hardware solutions to face current system verification processes and collaborates with your design engineers in order to diminish time-to-market requirements. Proven experience in: Automatic Verification based on Rules  Pattern generation driven by coverage metrics  Circuit behavior provided by high level reference models Verilog, e-language, VHDL or SystemC integration

DSI Division of Integrated Systems Design Functional Verification Environments Development Emulation based solutions Main measurement resources  1.4 GHz Logic analyzer and IC temp. tester (-100 to + 250ºC)  20 GHz TDR oscilloscope and spectrum analyzer  VXI system for ATM analysis and BER measurements (2.7 GHz) Test service Functional Test by Emulation DSI provides emulation based solutions to speed up the functional verification. The DUV (Device Under Verification) and several functional verification modules are emulated into our VSTATION while corner cases are executed in hardware. Unimplemented blocks are simulated by using the reference model. Performance Analysis Functionality and performance are checked in short times increasing the verification speed with emulation. Prototype Testing  Physical access layer replaced to interface with the physical device  Full test support from the modular verification environment  Framework reusability at the test stage Hw/Sw Modeling and Co-Verification System level validation and software verification are run into a mixed Hw/Sw co- debug environment at early stages. About DSI The Division of Integrated Systems Design is composed of experienced researchers who are developing commercial products and doing outstanding private and public research in the field of microelectronics since late 80s. The strength of the team is based on its know-how, cutting-edge resources and a set of services which permit to fulfill your company requirements, increasing its competitiveness and international position in new challenging markets. For more information on DSI’s Integrated Systems for Functional Verification, please contact: © 2004 Division of Integrated Systems Design IUMA Universidad de Las Palmas de Gran Canaria Campus Universitario de Tafira Las Palmas de Gran Canaria, SPAIN Tel: (direct) (reception desk) Fax: URL: