Getting Started with Design Verification
This document aims to enable a contributor to get started with a design verification (DV) effort within the OpenTitan project. While most of the focus is on development of a testbench from scratch, it should also be useful to understand how to contribute to an existing effort. Please refer to the DV methodology document for information on how design verification is done in OpenTitan.
Stages of DV
The life stages of a design / DV effort within the OpenTitan are described in the Hardware Development Stages document. It separates the life of DV into three broad stages: Initial Work, Under Test and Testing Complete. This document attempts to give guidance on how to get going with the first stage and have a smooth transition into the Under Test stage. They are not hard and fast rules but methods we have seen work well in the project. DV indeed cannot begin until the design has transitioned from Specification to the Development stage first. The design specification, once available, is used as a starting point.
The very first thing to do in any DV effort is to document the plan detailing the overall effort. This is done in conjunction with developing the initial testbench. It is recommended to use the uvmdvgen tool, which serves both needs.
uvmdvgen tool provides the ability to generate the outputs in a specific directory.
This should be set to the root of the DUT directory where the
rtl directory exists.
When the tool is run, it creates a
dv directory, along with
dv directory is where the complete testbench along with the collaterals to build and run tests can be found.
It puts the documentation sources in
data directories respectively (which also exist alongside the
It is recommended to grep for ‘TODO’ at this stage in all of these generated files to make some of the required fixes right way.
One of these for example, is to create appropriate interfaces for the DUT-specific IOs and have them connected in the testbench (
Documentation and Initial Review
The skeleton DV document and the Hjson testplan should be addressed first.
The DV documentation is not expected to be completed in full detail at this point.
However, it is expected to list all the verification components needed and depict the planned testbench as a block diagram.
Under the ‘design verification’ directory in the OpenTitan team drive, some sample testbench block diagrams are available in the
.svg format, which can be used as a template.
The Hjson testplan on the other hand, is required to be completed.
Please refer to the testplanner tool documentation for additional details on how to write the Hjson testplan.
Once done, these documents are to be reviewed with the designer(s) and other project members for completeness and clarity.
UVM RAL Model
Before running any test, the UVM RAL model needs to exist (if the design contains CSRs).
The DV simulation flow has been updated to generate the RAL model automatically at the start of the simulation.
As such, nothing extra needs to be done.
It can be created manually by invoking
util/regtool.py -s -t /path-to-dv /path-to-module/data/<dut>.hjson
The generated file is placed in the simulation build scratch area instead of being checked in.
The use of advanced verification constructs such as SystemVerilog classes (on which UVM is based on) requires commercial simulators. The DV simulation flow fully supports Synopsys VCS. There is support for Cadence Xcelium as well, which is being slowly ramped up.
Building and Running Tests
uvmdvgen tool provides an empty shell sequence at
dv/env/seq_lib/<dut>_sanity_vseq.sv for developing the sanity test.
The sanity test can be run as-is by invoking
dvsim.py, as a “hello world” step to bring the DUT out of reset.
$ util/dvsim/dvsim.py path/to/<dut>_sim_cfg.hjson -i <dut>_sanity [--waves] [--tool xcelium]
The generated initial testbench is not expected to compile and elaborate successfully right away. There may be additional fixes required, which can be hopefully be identified easily. Once the testbench compiles and elaborates without any errors or warnings, the sanity sequence can be developed further to access a major datapath and test the basic functionality of the DUT.
VCS is used as the default simulator.
It can be switched to Xcelium by setting
--tool xcelium on the command line.
To dump waves from the simulation, pass the
--waves argument to
Please refer to the DV simulation flow for additional details.
uvmdvgen script also enables the user to run the full suite of CSR tests, if the DUT does have CSRs in it.
The most basic CSR power-on-reset check test can be run by invoking:
$ util/dvsim/dvsim.py path/to/<dut>_sim_cfg.hjson -i <dut>_csr_hw_reset [--waves] [--tool xcelium]
Please refer to CSR utilities for more information on how to add exclusions for the CSR tests.
Running the sanity and CSR suite of tests while making progress toward reaching the V1 stage should provide a good reference in terms of how to develop tests as outlined in the testplan and running and debugging them. Please refer to the checklist to understand the key requirements for progressing through the subsequent verification stages and final signoff.
The UART DV area can be used as a canonical example for making progress. If it is not clear on how to proceed, feel free to file an issue requesting assistance.
Reproduce a DV failure in CI
Follow these steps to reproduce the failure
Make sure the version of VCS is the same as the one running in CI.
CI runs against an auto-generated merge commit, which effectively is generated by merging the pull request (PR) into the master branch. This “merge” branch is updated automatically by GitHub whenever the PR branch is pushed, or when the PR is closed and re-open. Retrieve this exact branch by running the following (assuming “upstream” is the name of your lowrisc/opentian repository).
$ git fetch upstream pull/<PR_number>/merge $ git checkout -b <temp_branch> FETCH_HEAD
- This is the command that CI runs for the smoke regression.
$ util/dvsim/dvsim.py hw/top_earlgrey/dv/top_earlgrey_sim_cfgs.hjson -i smoke --fixed-seed=1
We can only run the failed test with
--fixed-seed=1 to reproduce the failure.
Assume there is a failure in the
uart_smoke test. Here is the run command to reproduce it.
$ util/dvsim/dvsim.py hw/ip/uart/dv/uart_sim_cfg.hjson -i uart_smoke --fixed-seed=1 [--waves]