Beruflich Dokumente
Kultur Dokumente
Agenda
Advantages (and issues) of using VIP Example VIP usage models VIP packaging Metric driven verification UVM is for software engineers too! Example VIP test bench and package Maximising VIP reuse
Independent interpretation (of protocols) Leverage knowledge and experience from others Huge p g potential ROI ( (return on investment) )
USB 3.0
Verify corner cases of the protocol Suspend in normal operation, host initiates device reset. Unplug from a HS host port, re-plug into a SS host port
AXI/AHB
Verify corner cases of the protocol Generate heavy traffic on the bus for stress testing
VIP packaging
Distinguish code for compile vs. include Identify files that contain package declarations which must be compiled before code that uses that package p g
Test and Verification Solutions 05 5th May 2011 May 2011 5
VIP packaging
User issues
Using multiple OVM/UVM components
Need to ensure they all work with a common release
Mapping to the specification Enabling metric driven verification Map coverage and checkers to the spec
USB 3.0 PKT Type: Section 8.3.1.2, Protocol Layer (Packet Type Field) Link Management Packets, Transaction Packets, Data Packet Header, Isochronous Ti I h Time St Stamp Packets P k t tvs_usb3_pkt_type_c : coverpoint usb3_pkt_hp_dw[4:0] { bins lmp = { h00}; {h00}; bins trp = {h04}; bins dph = {h08}; bins itp = {h0C}; { h0C}; }
UVM is for software engineers too! Making test configuration easy SDCard verification of basic software routines:
Device driver identifies SD cards & establishing their capabilities
Verification responsibility
Build the VIP into the SoC test bench Constructs test programs that are agnostic to the SD card it detects Test bench constructed to instance specific variants of SD cards similar to inserting different cards on an evaluation board
Software responsibility
Instances were configured using uvm_test extensions with individual t f factory overrides d fi i th VIP capability i di id l set of f t id defining the VIPs bilit All other card characteristics, such as response times, error responses etc. are left to be randomized Each simulation alters the execution flow through the SW & HW
Test and Verification Solutions 05 5th May 2011 May 2011 9
For example
By default the card sends the response R1 for CMD11. However, the protocol allows for card to not respond
The software engineer is thus able to configure the t t b th test bench for various scenarios hf i i
set_config_int("sve.tvs_sdc0.slaves[0].slave_engine", "hold_cmd11_resp", user_val); p, ); where user_val is either 0 (response enabled), or 1(response disabled)
VIP delivered with synthesisable BFM The software was running within a day of putting silicon and a real SDCard on the board
Test and Verification Solutions 05 5th May 2011 May 2011 10
11
VIP Delivery
Proven DUT or VIP (No Backend User Interface VIP) T t Sequences Test S Testbench Top
12
TVS_USB3_VIP_TEMPLATE
SIM
DUV
BIN
RUNDIR
TVS_USB3_TOP
TVS_USB3_GENERIC
TVS_USB3_HOST
COMPILE
AXI
UVM_SRC RTL-TB
TEST_LIB RTL-TB SV SV
SV
13
Tests
Can be reused completely once the sequences are ported
Testbench Top
R l Replace sample DUT/VIP with U l ith User DUT
VIP Configurations
Multiple configurations of the VIP are delivered can be reused for particular USER Configurations of the DUT. User can create various environments (e.g. multi master/slave) Can disable ach component of the VIP using has_checker, has_monitor, has_driver.
Test and Verification Solutions 05 5th May 2011 May 2011 14
Summary
Usage model
Metric driven verification against the specification Ease of use for software engineers?