Beruflich Dokumente
Kultur Dokumente
Leo Fang
Synopsys, Inc.
March 2014
UVM Ecosystem
UVM Best Practices
UVM Debug
Overview
Verification Verification
Planning Management
Template
Coverage Generators
& Analysis
Protocol Native
Debug UVM VIP
UVM TLM/SC
UVM-Aware Adaptors
Constraint
Debug UVM AMS
Solver
Testbench
2014 Synopsys. All rights reserved. 4
UVM Best Practices
Overview
UVM Configuration Mechanism
UVM RAL and ralgen
UVM Factory
UVM Callback
Overview
UVM Configuration Mechanism
UVM RAL and ralgen
UVM Factory
UVM Callback
Overview
UVM Configuration Mechanism
UVM RAL and ralgen
UVM Factory
UVM Callback
frontdoor RTL
address HOST_ID
data example
Port Ports
Host Other
DUT LOCK
r_w register
REG_FILE
register
mapping
Memory
Memory
Driver Unchanged
address HOST_ID
data
Port Ports
Host Other
DUT LOCK
r_w
REG_FILE
register
Memory
Memory
Constraints and
CoSim API covergroup
ralgen
RAL Model
Pure C API
Backdoor
HTML
RTL DUT
2014 Synopsys. All rights reserved. 15
Documentation
Example: Use ralgen to Create RAL Model
// host.ralf // ral_dut_regmodel.sv
class ral_reg_HOST_ID extends uvm_reg; UVM
register HOST_ID { uvm_reg_field REV_ID;
field REV_ID {} RAL
uvm_reg_field CHIP_ID;
field CHIP_ID {} ... Classes
} endclass : ral_reg_HOST_ID
register PORT_LOCK { class ral_reg_PORT_LOCK extends uvm_reg;
field LOCK {} class ral_reg_HOST_REG extends uvm_reg;
} class ral_mem_RAM extends uvm_mem;
class ral_block_host_regmodel extends uvm_reg_block;
register HOST_REG { rand ral_reg_HOST_ID HOST_ID;
field USER_REG {} rand ral_reg_PORT_LOCK PORT_LOCK;
} rand ral_reg_HOST_REG HOST_REG[256];
memory RAM {} rand ral_mem_RAM RAM;
block host_regmodel {}
host.ralf ...
system dut_regmodel {} endclass : ral_block_host_regmodel
class ral_sys_dut_regmodel extends uvm_reg_block;
rand ral_block_host_regmodel HOST0;
rand ral_block_host_regmodel HOST1;
...
endclass : ral_sys_dut_regmodel
Overview
UVM Configuration Mechanism
UVM RAL and ralgen
UVM Factory
UVM Callback
Search path
2014 Synopsys. All rights reserved. 20
UVM Best Practices
Overview
UVM Configuration Mechanism
UVM RAL and ralgen
UVM Factory
UVM Callback
Local Pane
Simulator
Control
Annotated
Values
Member Pane
Class Pane
Member Pane
Object Pane
Breakpoints
Stack Pane
Local Pane
Resources
Calls
Type-based
Filtering
Objection debug
capability