Veloce2 the Enterprise Verification Platform. Simon Chen Emulation Business Development Director Mentor Graphics

Similar documents
The Veloce Emulator and its Use for Verification and System Integration of Complex Multi-node SOC Computing System

Strato and Strato OS. Justin Zhang Senior Applications Engineering Manager. Your new weapon for verification challenge. Nov 2017

Validation Strategies with pre-silicon platforms

Software Driven Verification at SoC Level. Perspec System Verifier Overview

Does FPGA-based prototyping really have to be this difficult?

Tutorial M02. Software Debug on ARM Processors in Emulation. March 24, 2014

Yafit Snir Arindam Guha Cadence Design Systems, Inc. Accelerating System level Verification of SOC Designs with MIPI Interfaces

Next Generation Verification Process for Automotive and Mobile Designs with MIPI CSI-2 SM Interface

Figure 1: Target environment includes peripherals.

Test and Verification Solutions. ARM Based SOC Design and Verification

Hardware Software Bring-Up Solutions for ARM v7/v8-based Designs. August 2015

Designing with ALTERA SoC Hardware

Optimizing Emulator Utilization by Russ Klein, Program Director, Mentor Graphics

Verification Futures Nick Heaton, Distinguished Engineer, Cadence Design Systems

Graph-Based Verification in a UVM Environment

Accelerating Networking Products to Market by Lauro Rizzatti, Rizzatti LLC

Verification Futures The next three years. February 2015 Nick Heaton, Distinguished Engineer

ZeBu : A Unified Verification Approach for Hardware Designers and Embedded Software Developers

Extending Fixed Subsystems at the TLM Level: Experiences from the FPGA World

Will Everything Start To Look Like An SoC?

Early Software Development Through Emulation for a Complex SoC

100M Gate Designs in FPGAs

Verifying big.little using the Palladium XP. Deepak Venkatesan Murtaza Johar ARM India

NS115 System Emulation Based on Cadence Palladium XP

Designing with ALTERA SoC

Fujitsu SOC Fujitsu Microelectronics America, Inc.

System-on-Chip Architecture for Mobile Applications. Sabyasachi Dey

Will Everything Start To Look Like An SoC?

The Challenges of System Design. Raising Performance and Reducing Power Consumption

Assembling and Debugging VPs of Complex Cycle Accurate Multicore Systems. July 2009

Embedded HW/SW Co-Development

RISC-V based core as a soft processor in FPGAs Chowdhary Musunuri Sr. Director, Solutions & Applications Microsemi

Performance Optimization for an ARM Cortex-A53 System Using Software Workloads and Cycle Accurate Models. Jason Andrews

Creating hybrid FPGA/virtual platform prototypes

Combining Arm & RISC-V in Heterogeneous Designs

A Deterministic Flow Combining Virtual Platforms, Emulation, and Hardware Prototypes

ARM Processors for Embedded Applications

Functional Verification of the SiCortex Multiprocessor System-on-a-Chip. Oleg Petlin, Wilson Snyder

WHICH MICRO? What does MCU needs to do in my system? What are the tasks? Dr. Adriana Becker-Gomez

Using Formalized Programming Sequences for Higher Quality Virtual Prototypes

ESE Back End 2.0. D. Gajski, S. Abdi. (with contributions from H. Cho, D. Shin, A. Gerstlauer)

Multi-core microcontroller design with Cortex-M processors and CoreSight SoC

Effective System Design with ARM System IP

Assertion Based Verification of AMBA-AHB Using System Verilog

Fujitsu System Applications Support. Fujitsu Microelectronics America, Inc. 02/02

Zynq-7000 All Programmable SoC Product Overview

The How To s of Metric Driven Verification to Maximize Productivity

Designing Embedded Processors in FPGAs

Introduction to the Qsys System Integration Tool

Formal for Everyone Challenges in Achievable Multicore Design and Verification. FMCAD 25 Oct 2012 Daryl Stewart

Shortest path to the lab. Real-world verification. Probes provide observability

Contents 1 Introduction 2 Functional Verification: Challenges and Solutions 3 SystemVerilog Paradigm 4 UVM (Universal Verification Methodology)

Analyzing and Debugging Performance Issues with Advanced ARM CoreLink System IP Components

FPQ6 - MPC8313E implementation

The Embedded computing platform. Four-cycle handshake. Bus protocol. Typical bus signals. Four-cycle example. CPU bus.

ECE 111 ECE 111. Advanced Digital Design. Advanced Digital Design Winter, Sujit Dey. Sujit Dey. ECE Department UC San Diego

ARM SERVER STANDARDIZATION

Building High Performance, Power Efficient Cortex and Mali systems with ARM CoreLink. Robert Kaye

DEVELOPMENT AND VERIFICATION OF AHB2APB BRIDGE PROTOCOL USING UVM TECHNIQUE

High Speed Multi-User ASIC/SoC Prototyping system

Qsys and IP Core Integration

Responding to TAT Improvement Challenge through Testbench Configurability and Re-use

Designing with Nios II Processor for Hardware Engineers

Speeding AM335x Programmable Realtime Unit (PRU) Application Development Through Improved Debug Tools

Break Your SoC with Automatically Generated C Test Cases

Integrate Ethernet QVIP in a Few Hours: an A-to-Z Guide by Prashant Dixit, Questa VIP Product Team, Mentor Graphics

SYSTEMS ON CHIP (SOC) FOR EMBEDDED APPLICATIONS

Modeling Performance Use Cases with Traffic Profiles Over ARM AMBA Interfaces

NoC Generic Scoreboard VIP by François Cerisier and Mathieu Maisonneuve, Test and Verification Solutions

Implementing debug. and trace access. through functional I/O. Alvin Yang Staff FAE. Arm Tech Symposia Arm Limited

Optimizing Hardware/Software Development for Arm-Based Embedded Designs

IMPLEMENTATION OF LOW POWER INTERFACE FOR VERIFICATION IP (VIP) OF AXI4 PROTOCOL

TRACE32. Product Overview

Attack Your SoC Power Challenges with Virtual Prototyping

Co-Design and Co-Verification using a Synchronous Language. Satnam Singh Xilinx Research Labs

It's not about the core, it s about the system

Extending the Power of FPGAs

Combining TLM & RTL Techniques:

FPGA Adaptive Software Debug and Performance Analysis

Building blocks for 64-bit Systems Development of System IP in ARM

Lorenz Kolb, Missing Link Electronics

Using Mentor Questa for Pre-silicon Validation of IEEE based Silicon Instruments by CJ Clark & Craig Stephan, Intellitech Corporation

esi-risc Development Suite Getting Started Guide

Copyright 2016 Xilinx

Designing a Multi-Processor based system with FPGAs

Software Verification for Low Power, Safety Critical Systems

OCP Engineering Workshop - Telco

Using Virtual Platforms To Improve Software Verification and Validation Efficiency

Efficient Failure Triage with Automated Debug: a Case Study by Sean Safarpour, Evean Qin, and Mustafa Abbas, Vennsa Technologies Inc.

S2C K7 Prodigy Logic Module Series

Hardware/Software Co-Verification Using the SystemVerilog DPI

The protocol can efficiently use interconnect and fabric techno-

Vertical Reuse of functional verification from subsystem to SoC level (with seamless SoC emulation)

Simulation Based Analysis and Debug of Heterogeneous Platforms

Silicon Penguins: Using and verifying an open source processor in a 100% first time right commercial ASIC

ELCT 912: Advanced Embedded Systems

Lesson 6 Intel Galileo and Edison Prototype Development Platforms. Chapter-8 L06: "Internet of Things ", Raj Kamal, Publs.: McGraw-Hill Education

Embedded Hardware and Software

WS_CCESSH5-OUT-v1.01.doc Page 1 of 7

Module Introduction. CONTENT: - 8 pages - 1 question. LEARNING TIME: - 15 minutes

Transcription:

Veloce2 the Enterprise Verification Platform Simon Chen Emulation Business Development Director Mentor Graphics

Agenda Emulation Use Modes Veloce Overview ARM case study Conclusion 2

Veloce Emulation Use Modes Solutions portfolios address all use modes isolve solutions In Circuit Emulation Simulation Acceleration VIP /Transactors VirtuaLAB and Memories Virtual Lab Emulation Software Debug JTAG, Virtual Probe, Veloce Codelink One Platform All use modes 3

Veloce Delivers Real Value Design: Network switch with multiple 10G ports Mode: Streaming 64-byte packets on all ports Simulation ~1/4th frame/sec Vs Emulation ~3,662 frames/sec ~15,000x faster than simulation Billions of transactions across all Ethernet ports 4

Crystal2 Custom Architecture Rich interconnect yields 5 minute chip compiles Built-in logic analyzer all signals visible all of the time Custom Virtual Wires logic for reliable chip-to-chip routing Switched backplane interconnect for board-to-board routing Fully automated software to compile designs Crystal2 Advanced Logic Board Veloce2 Quattro Full custom IC 5

Maximus: Enterprise Verification Platform AVB Up to 64 Capacity (user gates) Up to 1Billion ICE users Up to 16 TBX or stand alone users Up to 64 Physical IOs Up to 9600 (120*80) Extended IO Power Noise Level Up to 4X 50 kw 75 dba 6

Veloce OS3 Enterprise Server Consolidates global Veloce resources into a unified high-capacity entity Speeds high-priority jobs by suspending jobs of low priority Shields emulator complexity from LSF and Netbatch queue managers Automatically adapts to change in HW availability 7

Veloce Enables Full Chip Validation The confidence level in the design before tape-out is maximized with full chip emulation System level architectural bugs detection such as Performance, HW-SW tests, Interrupts, Cache configuration, Memory Coherency, interconnect, and others Verifying the integration: interconnect, memory map, clocks, reset sequences Real life HW-SW test cases on OS create sequences that get to corner cases almost impossible to reach in sub-system clusters. Power aware verification. Measuring power metrics is best done with real SW in full chip Verifying different power modes Verifying power with real OS task-switching effects 8

Full-Chip Validation Prior to Silicon: Boot OS, Drivers Validation OS and device drivers run on RTL or ISS processor models VirtuaLAB peripherals exercise interfaces SW debug solutions Power analysis Codelink Multi-core SW/HW debug SoC PHY PHY PHY PHY CPU USB Ethernet SATA Display Processor Master IF SlaveIF Slave IF Slave IF Slave IF Arbiter Master IF CPU Master IF Software Memory Fabric Slave IF UART Slave IF GPIO Fabric PCI Express PHY 9

Veloce Peripheral Interface Solutions Identical IP used for all solution offerings Peripheral Interface Design IP Silicon proven Example Test Suite Coverag e and Assertio ns Test Plan Users Test Sequences Accelerated Transactor Users DUT isolve Physical Peripherals VirtuaLAB Virtual Peripherals Verification IP Protocol Transactors 10

Advantages of VirtuaLAB ROI Attractive alternative to ICE Ideal for multi-user and multi-project Quality VirtuaLAB runs on Linux host Peripherals are hardware accurate Productivity Instantly reconfigured Datacenter compatible 11

Off-line HW/SW Co-Debug with Codelink Waveform View SW Debugger Many Off-Line Execution Data Bases 12 Many Software Engineers at the same time

ARM Case Study 13

14

15

16

17

18

19

Going Beyond Simulation Acceleration Simulation Acceleration OVM/UVM SystemVerilog C/SystemC Accelerated Transactors SW Debug Codelink VProbe Warpcore QEMU Software Debug Virtual Protocol Solutions USB SATA Video Ethernet VirtuaLAB Solutions PCIe Testbench Xpress Co-Model Channels Physical Protocol Solutions PCIe SATA Video USB Ethernet... Physical I/O isolve Solutions 20

21