Mastering Unexpected Situations Safely. Chassis & Safety Vehicle Dynamics

Similar documents
Generation of UVM compliant Test Benches for Automotive Systems using IP-XACT with UVM-SystemC and SystemC AMS

Verification of Digital Systems, Spring UVM Basics

An Evaluation of the Advantages of Moving from a VHDL to a UVM Testbench by Shaela Rahman, Baker Hughes

Stacking UVCs Methodology. Revision 1.2

Making the Most of your MATLAB Models to Improve Verification

Universal Verification Methodology(UVM)

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

DO-254 Testing of High Speed FPGA Interfaces by Nir Weintroub, CEO, and Sani Jabsheh, Verisense

User Experience with UVM

Graph-Based IP Verification in an ARM SoC Environment by Andreas Meyer, Verification Technologist, Mentor Graphics Corporation

UVM-SystemC Standardization Status and Latest Developments

SPECMAN-E TESTBENCH. Al. GROSU 1 M. CARP 2

Advanced Verification Topics. Bishnupriya Bhattacharya John Decker Gary Hall Nick Heaton Yaron Kashai Neyaz Khan Zeev Kirshenbaum Efrat Shneydor

FPGA chip verification using UVM

DEVELOPMENT AND VERIFICATION OF AHB2APB BRIDGE PROTOCOL USING UVM TECHNIQUE

UVM in System C based verification

Simulation-Based FlexRay TM Conformance Testing an OVM success story

An approach to accelerate UVM based verification environment

VERIFICATION OF RISC-V PROCESSOR USING UVM TESTBENCH

SystemVerilog UVM. Student Workbook

Development of UVM based Reusabe Verification Environment for SHA-3 Cryptographic Core

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

Will Everything Start To Look Like An SoC?

VCS AMS. Mixed-Signal Verification Solution. Overview. testing with transistor-level accuracy. Introduction. Performance. Multicore Technology

Reducing the cost of FPGA/ASIC Verification with MATLAB and Simulink

Module- or Class-Based URM? A Pragmatic Guide to Creating Verification Environments in SystemVerilog. Paradigm Works, Inc. Dr.

Design and Verification of FPGA Applications

Design and Verification of FPGA and ASIC Applications Graham Reith MathWorks

Graph-Based Verification in a UVM Environment

Making it Easy to Deploy the UVM by Dr. Christoph Sühnel, frobas GmbH

THE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS

Verification of Advanced High Speed Bus in UVM Methodology

ECE 587 Hardware/Software Co-Design Lecture 11 Verification I

Three Steps to Unified SoC Design and Verification by Shabtay Matalon and Mark Peryer, Mentor Graphics

Hardware Design and Simulation for Verification

INDUSTRIAL TRAINING: 6 MONTHS PROGRAM TEVATRON TECHNOLOGIES PVT LTD

Slaying the UVM Reuse Dragon Issues and Strategies for Achieving UVM Reuse

Design and Verification of Slave Block in Ethernet Management Interface using UVM

Development of a modern Airbag System Prototype COSIDE User Experience

Will Everything Start To Look Like An SoC?

Staffan Berg. European Applications Engineer Digital Functional Verification. September 2017

Modeling Usable & Reusable Transactors in SystemVerilog Janick Bergeron, Scientist

Stitching UVM Testbenches into Integration-Level

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

New technological opportunities coming along with SystemC/SystemC AMS for AMS IP Handling and Simulation

SystemC Standardization Update Including UVM for SystemC Introduction to the Universal Verification Methodology in SystemC

Verification of AHB Protocol using UVM

Efficient Verification of Mixed-Signal SerDes IP Using UVM

An Efficient Verification Framework for Audio/Video Interface Protocols

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

Universal Verification Methodology (UVM) Module 5

MIL/SIL/PIL Approach A new paradigm in Model Based Development

6 Month Certificate Program in VLSI Design & Verification" with Industry Level Projects. Tevatron Technologies Prívate Limited

Portable Stimulus vs Formal vs UVM A Comparative Analysis of Verification Methodologies Throughout the Life of an IP Block

Reuse MATLAB Functions and Simulink Models in UVM Environments with Automatic SystemVerilog DPI Component Generation

Portable Stimulus Driven SystemVerilog/UVM verification environment for the verification of a high-capacity Ethernet communication endpoint

Complex Signal Processing Verification under DO-254 Constraints by François Cerisier, AEDVICES Consulting

DESIGN AND VERIFICATION OF LOW SPEED PERIPHERAL SUBSYSTEM SUPPORTING PROTOCOLS LIKE SPI, I 2 C AND UART

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

Comprehensive AMS Verification using Octave, Real Number Modelling and UVM

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

Pre-Silicon Host-based Unit Testing of Driver Software using SystemC Models

ASIC world. Start Specification Design Verification Layout Validation Finish

What is needed on top of TLM-2 for bigger Systems?

System-Level Verification Platform using SystemVerilog Layered Testbench & SystemC OOP

UVM TRANSACTION RECORDING ENHANCEMENTS

A Generic UVM Scoreboard by Jacob Andersen, CTO, Kevin Seffensen, Consultant and UVM Specialist, Peter Jensen, Managing Director, SyoSil ApS

Integrating MATLAB with Verification HDLs for Functional Verification of Image and Video Processing ASIC

Mixed Signal Verification Transistor to SoC

Design and Verification of Serial Peripheral Interface 1 Ananthula Srinivas, 2 M.Kiran Kumar, 3 Jugal Kishore Bhandari

Verification of Power Management Protocols through Abstract Functional Modeling

Advancing system-level verification using UVM in SystemC

Gerhard Noessing, Villach

PG DIPLOMA COURSE IN VERIFICATION USING SYSTEMVERILOG & UVM NEOSCHIP TECHNOLOGIES

UVM for VHDL. Fast-track Verilog for VHDL Users. Cont.

An Introduction to Universal Verification Methodology

A comprehensive approach to scalable framework for both vertical and horizontal reuse in UVM verification

UVM based Verification Environment for Performance Evaluation of DDR4 SDRAM using Memory Controller

UVM BASED REUSABLE VERIFICATION IP FOR WISHBONE COMPLIANT SPI MASTER CORE

The Design and Verification of a Synchronous First-In First-Out (FIFO) Module Using System Verilog Based Universal Verification Methodology (UVM)

UART IP CORE VERIFICATION BY USING UVM

width: 10, 20 or 40-bit interface maximum number of lanes in any direction

Simulation-Based FlexRay TM Conformance Testing - An OVM Success Story

Simplifying UVM in SystemC

Mentor Graphics Solutions Enable Fast, Efficient Designs for Altera s FPGAs. Fall 2004

Philip Andrew Simpson. FPGA Design. Best Practices for Team-based Reuse. Second Edition

Portable VHDL Testbench Automation with Intelligent Testbench Automation by Matthew Ballance, Mentor Graphics

Practical experience in automatic functional coverage convergence and reusable collection infrastructure in UVM verification

IOT is IOMSLPT for Verification Engineers

Functional Verification of xhci (extensible host controller Interface) for USB 3.1 Using HDL

DDR SDRAM Bus Monitoring using Mentor Verification IP by Nikhil Jain, Mentor Graphics

Simulation with Verilog-XL

Sunburst Design - SystemVerilog UVM Verification Training by Recognized Verilog & SystemVerilog Guru, Cliff Cummings of Sunburst Design, Inc.

Maintaining Consistency Between SystemC and RTL System Designs

SystemVerilog Verification of Wishbone- Compliant Serial Peripheral Interface

A UVM-based AES IP Verification Platform with Automatic Testcases Generation

Fast Track to Productivity Using Questa Verification IP by David Aerne and Ankur Jain, Verification Technologists, Mentor Graphics

Network simulation with. Davide Quaglia

UVM BASED TEST BENCH TO VERIFY AMBA AXI4 SLAVE PROTOCOL

Efficient use of Virtual Prototypes in HW/SW Development and Verification

Transcription:

Mastering Unexpected Situations Safely Chassis & Safety Vehicle Dynamics

System Evaluation of UVM-SystemC Coside Usergroup Meeting 18.10.2016 www.continental-corporation.com Division Chassis & Safety

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 3

SystemC IP Validation before UVM-SystemC Module Level Describe test stimuli in a SystemC mirror module. Either schematic or code. Good for module level. However, no reuse at system level. Mainly visual inspection. 4

SystemC Validation before UVM-SystemC One schematic per test SPI Master provides register read/write access. Can automatically check return values. What are they doing? 5

Requirements to next testbench generation Standardized format for stimuli and result checks No secret waveform generators Can run in regression Module level tests (partly) reusable at toplevel 6

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 7

What is UVM? Universal Verification Methodology to create modular, scalable, configurable and reusable test benches based on verification components with standardized interfaces Class library with features dedicated to verification, e.g., phasing component overriding (factory) configuration scoreboarding reporting 8

Main concepts in UVM Clear separation of test stimuli and test bench So stimuli can be developed and reused independently Test bench abstraction levels Test bench components communicate in TLM Non-intrusive test bench configuration and customization configuration and resource database Factory design pattern Well defined execution (phases) and synchronization (objections) process Reusable verification components 9

General UVM setup Virtual Sequence Virtual Sequencer Scoreboard Sequencer Agent1 Sequencer Agent2 Driver Monitor Driver Monitor Vif_agent1 Vif_agent2 DUT 10

UVM-SystemC Developed in the EU 7th framework programme (2011 2014) Continental participated in Verdi Donated to accelera public preview release available since December 2015 At Continental currently work is ongoing to put UVM-SystemC into industrial use. 11

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 12

Detailed view on a Module 13

Module level test setup with UVM-SystemC Separate interfaces to ease later reuse class vif_ext:public sc_core::sc_module { public: sc_core::sc_signal<double > TPM1; sc_core::sc_signal<double > TPM2;... } class vif_int:public sc_core::sc_module { public: sc_core::sc_signal<int > en_testmode; sc_core::sc_signal<bool > por_n;... } class vif_tlm:tlm::tlm_bw_transport_if<>,public sc_core::sc_module { public: tlm::tlm_initiator_socket< > Tpm_slave; } 14

Agents for Module Level Test Setup Agent_ext Agent_int Agent_tlm Driver Monitor Driver Monitor Driver Monitor Vif_ext Vif_int Vif_tlm Module 15

Virtual Sequence Virtual Sequencer Scoreboard Sequencer Agent_ext Sequencer Agent_int Sequencer Agent_tlm Driver Monitor Driver Monitor Driver Monitor Vif_ext Vif_int Vif_tlm Module 16

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 17

Going up to System-Level External pins also exist at system level Reuse Agent_ext Internal pins are not accessible at system level Outputs are not directly observable Inputs need to be provided by other modules TLM bus not accessible at system level Access handled by e.g. SPI interface Agent on communication interface shall be able to process the same sequences as Agent_tlm 18

Virtual Sequence Virtual Sequencer Scoreboard Agent_ext_mod1 Agent_ext_mod2 Agent_ext_modN Agent_Comm Sequencer Sequencer Sequencer Sequencer Driver Monitor Driver Monitor Driver Monitor Driver SPI Monitor SPI Vif_ext_mod1 Vif_ext_mod2 Vif_ext_modN Vif_spi DUT 19

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 20

Results Better test coverage No need of extra stimulus modules or test benches to test some special cases No need of dedicated test stimulus modules Still need agents Reuse: agents, interfaces, monitors from module level to system level test setup Little extra effort in creating system level test setup Module level test sequences abstracting some bit transactions can be reused at system level 21

Results Structured verification environment Easy for new/other teammates to learn & contribute Configurability Analog pins can be easily observed Instead of manual waveform analysis 22

Coside UVM Generator In a first trial we manually created our UVM test bench. High manual effort 1-2 PM Most of the time goes in generation and debug of framework Recreation with alpha version of UVM Generator Framework generation within one day Test setup within one week 23

Agenda 1 2 3 4 5 6 Motivation Introduction into UVM-SystemC Module Level Verification System Level Verification Results Outlook 24

Future Work Generation of possible top level sequences From module level sequences we can directly reuse external and TLM part of the sequence What about internal signals? Idea: Detemine module level sequences driving this signal as expected. Combine sequences to system level sequences. 25

Thank you for your attention! ASIC solutions for Vehicle Dynamics 26

27