Using emulation for RTL performance verification

Slides:



Advertisements
Similar presentations
Verifying Performance of a HDL design block
Advertisements

Making a Simple, Structured and Efficient Testbench Step-by-step
Thread Criticality Predictors for Dynamic Performance, Power, and Resource Management in Chip Multiprocessors Abhishek Bhattacharjee Margaret Martonosi.
44 nd DAC, June 4-8, 2007 Processor External Interrupt Verification Tool (PEVT) Fu-Ching Yang, Wen-Kai Huang and Ing-Jer Huang Dept. of Computer Science.
Synchron’08 Jean-François LE TALLEC INRIA SOP lab, AOSTE INRIA SOP lab, EPI AOSTE ScaleoChip Company SoC Conception Methodology.
Workshop - November Toulouse Paul Brelet TRT Modeling of a smart camera systems 24/11/
1 Speed, Drunkenness, and the Wall Does High Level Design/ESL Make Sense? Kris Konigsfeld Sr. Principal Engineer Oregon CPU Architecture Intel Corporation.
Enabling Efficient On-the-fly Microarchitecture Simulation Thierry Lafage September 2000.
MotoHawk Training Model-Based Design of Embedded Systems.
Universal Verification Methodology (UVM) Benefits Mustafa Khairallah Boost Valley Boost Valley Consulting 1.
NoC Modeling Networks-on-Chips seminar May, 2008 Anton Lavro.
© 2004 Xilinx, Inc. All Rights Reserved Implemented by : Alon Ben Shalom Yoni Landau Project supervised by: Mony Orbach High speed digital systems laboratory.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
Energy Evaluation Methodology for Platform Based System-On- Chip Design Hildingsson, K.; Arslan, T.; Erdogan, A.T.; VLSI, Proceedings. IEEE Computer.
Ritu Varma Roshanak Roshandel Manu Prasanna
Dynamic Tainting for Deployed Java Programs Du Li Advisor: Witawas Srisa-an University of Nebraska-Lincoln 1.
Orion: A Power-Performance Simulator for Interconnection Networks Presented by: Ilya Tabakh RC Reading Group4/19/2006.
Implementation of DSP Algorithm on SoC. Mid-Semester Presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompaning engineer : Emilia Burlak.
Technion Digital Lab Project Performance evaluation of Virtex-II-Pro embedded solution of Xilinx Students: Tsimerman Igor Firdman Leonid Firdman.
Embedded Systems Design at Mentor. Platform Express Drag and Drop Design in Minutes IP Described In XML Databook s Simple System Diagrams represent complex.
General Purpose FIFO on Virtex-6 FPGA ML605 board midterm presentation
VerificationTechniques for Macro Blocks (IP) Overview Inspection as Verification Adversarial Testing Testbench Design Timing Verification.
© Copyright Alvarion Ltd. Hardware Acceleration February 2006.
Students: Oleg Korenev Eugene Reznik Supervisor: Rolf Hilgendorf
Role of Standards in TLM driven D&V Methodology
QWise software engineering – refactored! Testing, testing A first-look at the new testing capabilities in Visual Studio 2010 Mathias Olausson.
TM Efficient IP Design flow for Low-Power High-Level Synthesis Quick & Accurate Power Analysis and Optimization Flow JAN Asher Berkovitz Yaniv.
SystemC: A Complete Digital System Modeling Language: A Case Study Reni Rambus Inc.
Uncovering the Multicore Processor Bottlenecks Server Design Summit Shay Gal-On Director of Technology, EEMBC.
1 Integration Verification: Re-Create or Re-Use? Nick Gatherer Trident Digital Systems.
A New Method For Developing IBIS-AMI Models
CHIPIX65/RD53 collaboration
Reporter: PCLee. Although assertions are a great tool for aiding debugging in the design and implementation verification stages, their use.
Workshop - November Toulouse Paul Brelet TRT Exploration and application deployment on a SoC: efficient application.
Catapult™ C Synthesis Crossing the Gap between Algorithm and Hardware Architecture Mac Moore North American Product Specialist Advanced Synthesis Solutions.
Robust Low Power VLSI ECE 7502 S2015 Evaluation of Coverage-Driven Random Verification ECE 7502 – Project Presentation Qing Qin 04/23/2015.
Fast Simulation Techniques for Design Space Exploration Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
© 2006 Synopsys, Inc. (1) CONFIDENTIAL Simulation and Formal Verification: What is the Synergy? Carl Pixley Disclaimer: These opinions are mine alone and.
Winter-Spring 2001Codesign of Embedded Systems1 Methodology for HW/SW Co-verification in SystemC Part of HW/SW Codesign of Embedded Systems Course (CE.
BridgePoint Integration John Wolfe / Robert Day Accelerated Technology.
Infrastructure design & implementation of MIPS processors for students lab based on Bluespec HDL Students: Danny Hofshi, Shai Shachrur Supervisor: Mony.
Memory Subsystem verification – Can it be taken for granted ?
Final Presentation Implementation of DSP Algorithm on SoC Student : Einat Tevel Supervisor : Isaschar Walter Accompanying engineer : Emilia Burlak The.
SCE-MI Meeting 1 San Jose’, 14 th Nov Author: Andrea Castelnuovo SCE-MI Integrating Emulation in a system level design methodology San Jose’, 14/11/2003.
SVA Encapsulation in UVM enabling phase and configuration aware assertions by Mark Litterick Verification Consultant Verilab GmbH, Munich, Germany.
Way beyond fast © 2002 Axis Systems, Inc. CONFIDENTIAL Axis Common Transaction Interface (CTI) Architecture Highlights 9/11/2003 Ching-Ping Chou Axis Systems,
DDRIII BASED GENERAL PURPOSE FIFO ON VIRTEX-6 FPGA ML605 BOARD PART B PRESENTATION STUDENTS: OLEG KORENEV EUGENE REZNIK SUPERVISOR: ROLF HILGENDORF 1 Semester:
Chapter 11 System-Level Verification Issues. The Importance of Verification Verifying at the system level is the last opportunity to find errors before.
Time Management.  Time management is concerned with OS facilities and services which measure real time.  These services include:  Keeping track of.
Final Presentation Hardware DLL Real Time Partial Reconfiguration Management of FPGA by OS Submitters:Alon ReznikAnton Vainer Supervisors:Ina RivkinOz.
Disk Drive Architecture Exploration VisualSim Mirabilis Design.
Creation and Utilization of a Virtual Platform for Embedded Software Optimization: An Industrial Case Study Sungpack Hong, Sungjoo Yoo, Sheayun Lee, Sangwoo.
Presenter: Yi-Ting Chung Fast and Scalable Hybrid Functional Verification and Debug with Dynamically Reconfigurable Co- simulation.
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.
System-on-Chip Design
System-on-Chip Design Homework Solutions
Andreas Hoffmann Andreas Ropers Tim Kogel Stefan Pees Prof
How to Quick Start Virtual Platform Development
Digital System Verification
Multilevel Memories (Improving performance using alittle “cash”)
RTL Simulator for VChip Emulator
5 Comtec: Entry Point to Reusing Services
February 25-28, 2013 DoubleTree, San Jose
Figure 1 PC Emulation System Display Memory [Embedded SOC Software]
Matlab as a Design Environment for Wireless ASIC Design
Degree-aware Hybrid Graph Traversal on FPGA-HMC Platform
Yikes! Why is my SystemVerilog Testbench So Slooooow?
A High Performance SoC: PkunityTM
RTL Design Methodology
Presentation transcript:

Using emulation for RTL performance verification June 4, 2014 DaeSeo Cha Infrastructure Design Center System LSI Division Samsung Electronics Co., Ltd.

Current Performance Verification System Requirement Architectural Performance Exploration SystemC model, real workload aware performance analysis System Architecture Specification Architectural Performance Verification System C model  Inaccuracy RTL Integration RTL Performance Verification Subsystems/full chip using logic simulation  Slow FPGA RTL Performance Verification Sub-system only  Capacity Post-Silicon RTL Performance Verification Full chip  Too late in development stage

New Approach for Performance Verification System Requirement UVM Testebench System Architecture Specification Big capacity Full chip Accurate Cycle Accuracy Fast 100X+ RTL Integration log log log log Fast Analysis Correlation/Compare Early Stage RTL freeze FPGA GUI Analysis Environment (PRISM) * PRISM: Samsung In-house Tool Summary Post-Silicon Fast and Accurate Performance Verification

Performance Verification Platform Environment Reuse existing UVM simulation environment without any modification Add PV(Performance Verification) components PV components Monitor: Collect various performance metrics Traffic Generator: Random or replay RTL IP’s traffic

UVM Co-emulation Environment UVM Architecture for Co-emulation Simulation environment Incremental elaboration having primary, incremental snapshot Building test scenarios by combining testbench and design in full-chip Emulation environment DUT runs in emulator, incremental elaboration scheme used in emulator UVM testbench Simulator sw_top prim_top tb_top Incr_top Bus UVC AXI bus Module Test scenario hw_top DUT Emulator Register Model Interface Virtual sequencer Interface Sequence REG2BUS adapter DUT Register predictor Interrupt

Performance Monitor -1/2 Performance Metrics Latency: Min/Max/Average, time-varying, accumulated, distributed Bandwidth: Min/Max/Average, time-varying, accumulated, distributed Utilization: Min/Max/Average, time-varying, accumulated, distributed Address pattern Response time Customized metrics like IP’s internal signals (FIFO level) Implementation Synthesizable code for both simulation and emulation Collect performance metrics on AXI interface Issue Run-time overhead in emulation  Synchronization overhead between emulator and simulator PM Log file PRISM PM: performance monitor

Performance Monitor – 2/2 Experiments PV results should be recorded in-order Many experiments are done to reduce run-time overhead GFIFO Transactions are collected in order, it is congruent with the SW simulation Parallel execution of monitor transaction in SW  Improve performance Method Description tbcall sync Overhead No PV Monitor Baseline 398 - $display Sync with TB using $fdisplay() 32,798 81X GFIFO Buffering monitored transaction Collecting process in back ground 472 1.12X bit a; bit [5:0] b; int c; function void my_mon(bit x1, bit [5:0] x2, int x3); $fdisplay(“%d %d %d”, x1, x2, x3); endfunction; initial $ixc_ctrl("gfifo", “my_mon"); always @(clk) begin my_mon(a, b, c) end bit a; bit [5:0] b; int c; always @(clk) begin $fdisplay (“ %d %d %d”, a, b, c); end Simulation Monitor GFIFO

Performance Analysis Environment PRISM (Performance Visualization System) Charting PV results in GUI Easy to find a performance issue by viewing PV results in a single GUI

Experimental Result Application Run-time speed Bugs found Multimedia test scenarios such as video playback, camera recording Run-time speed +100x faster than simulation Bugs found Critical bugs and design weak points which would not been detected during simulation-based verification

Conclusion PV using emulator is a mainstream solution Future Work Very fast bring up using UVM Co-emulation Reusing UVM full-chip testbench without any modification PV in early design development stage with cycle accuracy +100x faster speed compared with simulation approach Efficient PV analysis by PRISM Future Work Add more features to PRISM - correlation, smart PV report etc. Develop ACE PV Monitor for dealing with cache-coherency Deploy UVM Co-emulation for other test scenarios

Thank you