DVClub Advanced Scoreboarding Techniques-Francois

Advanced Scoreboard
Techniques using UVM
Franois Cerisier
Test and Verification Solutions
DVClub 9th Sept 2013
Abstract
Abstract
This presentation describes scoreboarding techniques using UVM. It reviews the
scoreboard principles and UVM features for scoreboarding and extends to more
advanced techniques to verify full transaction contents, data, attributes and
responses for data flow designs, bridges and interconnects.
The presentation will go through the analysis_port requirements, search in lists,
queues and pools and using the UVM factory to architect a generic scoreboard
for complex multi protocol interconnects.
Biography
Franois Cerisier has an Engineering Diploma in Digital Signal Processing from
PolytechSophia, University of Nice-Sophia-Antipolis and over 13 years of
experience in verification of IPs, CPUs and System-On-Chips and in
hardware/software co-verification. Franois gained verification methodology
expertise from industrial projects of major semiconductor companies (including
Infineon, Broadcom, ST-Microelectronics, ST-Ericsson, NXP) and EDA start-ups.
He is now leading Test and Verification Solutions subsidiary in France to provide
verification services and consulting.
DVClub Sept 9th 2013 - Advanced Scoreboard Techniques using UVM Franois Cerisier page 2
Agenda
Introduction
Scoreboard Principles
Case 1: Bridge / Data flow design
Case 2: More complex data flow design
Case 3: Memory controllers
Connecting Scoreboard to Agent

analysis_port
Storing and searching for referenced data

Pool
Queues
Scoreboards for complex designs

Requirements for predictor
Divide and Conquer
Using the UVM Factory
Interconnect Scoreboard Architecture Example

Conclusion
Scoreboard Tutorials
UVM User Guide

Quick explanation how to connect a scoreboard
UVM Cookbook, Verification Academy

Straight to the code of a out of order
comparator/predictor
Books, Online Materials, UVM Trainings

A lot about UVM
Random Verification Aspects

Verification using Constrained Random Generation :
Generation of random test scenarios
Automate tests
Functional Coverage
Know what has been automatically covered
Checks
Know that the design complies to a protocol
assertions
Know that the design does what it should do
transaction checks
scoreboards
Scoreboard Roles
Check the design is doing what we expect

transaction content
Data, address, attributes, opcode, response code
transaction ordering
FIFO
OOO
Precedence relationship
Data flow design example
DUT
Typical UVM testbench

Test
sequences
sequences
Bus A VIP
Master Agent
sequences
Bus B VIP
Slave Agent
sequencer
driver
monitor
assertions
DUT
vif
vif
driver
monitor
assertions
Scoreboard principles data flow design

Test
sequences
sequences
Bus A VIP
Master Agent
sequences
Bus B VIP
Slave Agent
sequencer
driver
DUT
vif
vif
driver
monitor
monitor
assertions
assertions
trans
Transaction
Predictor
Match ?
Ref
trans
Storage
Compare /
Search
Scoreboard
Response Scoreboard
Scoreboard principles complex data flow design

Test
sequences
sequences
Bus A VIP
Master Agent
sequences
Bus B VIP
Slave Agent
sequencer
driver
DUT
vif
vif
driver
monitor
monitor
assertions
assertions
trans
TLM
Reference
Model
Match ?
Ref
trans
Storage
Compare /
Search
Request Scoreboard
Response Scoreboard
Scoreboard principles memory controller

Test
sequences
sequences
Bus A VIP
Master Agent
Reads are checked against

previous Writes
sequencer
vif
driver
DUT
monitor
Read
trans
assertions
Write
trans
Match ?
Ref
trans
Transaction
Predictor
Storage
Compare /
Search
Scoreboard
Connecting the scoreboard Analysis Ports
UVM 1.1 Class Reference Manual
Connecting the scoreboard UVM Example
Storing Data / Transactions
Storage structure strongly depends on

ordering model
FIFO queues
OOO dynamic arrays, queues
Memory associative array (indexed by address)
Others:
Associative array of queues
Data type:
Memory scalar, bytes, integers,
Data path:
Scalar
Transaction Item Class
Storage of transactions
Transaction Match
Predictor / Reference Model
Predictor required when:

Compared transaction has not the same format as the
input
(protocol bridges)
Design is transforming data
(encryption, filter, encoder,)
Re-Use concern:
Encapsulation: implemented as a separated class
uvm_analysis_port / imp to connect
UVM Factory to extend, replace existing objects
Divide and Conquer
What if the design has

Different transaction paths/routes
Different behaviour depending on
Address segments
Opcodes or other transaction attributes
Option 1: TLM Reference Model

Option 2: Divide and Conquer
Replace complex predictor with several simpler
scoreboards
Divide and Conquer AXI read/write separation

DUT scoreboard
FIFO read
scoreboard
FIFO write
scoreboard
Improving reuse
UVM Factory
Same architecture
Different implementation, different behavior
DUT scoreboard
FIFO read
scoreboard
OOO read
scoreboard
FIFO write
scoreboard
Complex NoC / Fabrics scoreboard example

DUT
Coherency Domain
AHB
Monitor
VIP to Scbd
adapters
AHB adapter
NoC Scoreboard VIP

Master I/F 5
UVM
Agent
AXI
Monitor
UVM
Agent
OCP
Monitor
OCP adapter
Master I/F 3
UVM
Agent
AXI / ACE-Lite
Monitor
AXI adapter
Master I/F 2
AXI adapter
Master I/F 1
UVM
Agent
AXI
Monitor
ACE
Monitor
ACE adapter
Master ACE I/F

1
AXI
Monitor
AXI adapter
Master I/F 0
ACE
Monitor
ACE adapter
Master ACE I/F

0
th
UVM
Agent
AXI adapter
APB
Address Map &

Configuration
VIP to Scbd
adapters
Slave 4
Slave
VIP Monitors
Slave I/F 4
AHB adapter
APB
Monitor
UVM
Agent
Slave I/F 3
AHB adapter
AHB
Monitor
UVM
Agent
Route M2 to S2
Slave I/F 2
AHB adapter
AXI
Monitor
UVM
Agent
Route M1 to S1
Slave I/F 1
AHB adapter
OCP
Monitor
UVM
Agent
Route M0 to S0
Slave I/F 0
AHB adapter
AXI
Monitor
UVM
Agent
Master I/F 4
ACE Scoreboard
Master
VIP Monitors
UVM
Agent
NoC
AHB
Master 5
DVClub Sept 9 2013 - Advanced Scoreboard Techniques using UVM Franois Cerisier page 21
Conclusion
Scoreboards verify transaction functional correctness

SystemVerilog provides agregate types for transaction storage &
search
Dynamic Arrays, Associative Arrays, Queues, Classes
UVM ease scoreboard development, providing:

UVM analysis ports ( easier than call backs)
uvm_transaction compare() / do_compare() methods
UVM factory for extension, replacement & reuse.
Divide and Conquer:

keep simple things simple.
Compose simple blocks to build complex behavior
Thank you
Questions?

DVClub Advanced Scoreboarding Techniques-Francois

Uploaded by

Copyright:

Available Formats

DVClub Advanced Scoreboarding Techniques-Francois

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

DVClub Advanced Scoreboarding Techniques-Francois

Uploaded by

Copyright:

Available Formats

Advanced Scoreboard

Techniques using UVM

DVClub 9th Sept 2013

Connecting Scoreboard to Agent

Storing and searching for referenced data

Scoreboards for complex designs

Interconnect Scoreboard Architecture Example

UVM User Guide

UVM Cookbook, Verification Academy

Books, Online Materials, UVM Trainings

Random Verification Aspects

Check the design is doing what we expect

Data flow design example

Typical UVM testbench

Scoreboard principles data flow design

Scoreboard principles complex data flow design

Scoreboard principles memory controller

Reads are checked against

Connecting the scoreboard Analysis Ports

UVM 1.1 Class Reference Manual

Connecting the scoreboard UVM Example

Storing Data / Transactions

Storage structure strongly depends on

Predictor / Reference Model

Predictor required when:

Divide and Conquer

What if the design has

Option 1: TLM Reference Model

Divide and Conquer AXI read/write separation

Complex NoC / Fabrics scoreboard example

NoC Scoreboard VIP

Master ACE I/F

Master ACE I/F

Address Map &

Scoreboards verify transaction functional correctness

UVM ease scoreboard development, providing:

Divide and Conquer:

You might also like