ADC_CTRL DV document
- Verify all ADC_CTRL IP features by running dynamic simulations with a SV/UVM based testbench
- Develop and run all tests based on the testplan below towards closing code and functional coverage on the IP and all of its sub-modules
- Verify TileLink device protocol compliance with an SVA based testbench
For detailed information on ADC_CTRL design features, please see the ADC_CTRL HWIP technical specification.
ADC_CTRL testbench has been constructed based on the CIP testbench architecture.
Top level testbench
Top level testbench is located at
hw/ip/adc_ctrl/dv/tb/tb.sv. It instantiates the ADC_CTRL DUT module
In addition, it instantiates the following interfaces, connects them to the DUT and sets their handle into
- Clock and reset interface
- Always on clock and reset interface
- TileLink host interface
- ADC_CTRL IOs
- Interrupts (
- Alerts (
- Wakeup (
- [Push Pull Interface] (../../../dv/sv/push_pull_agent/README.md) combined with some logic in
tb.svto emulate the ADC data interface
Common DV utility components
The following utilities provide generic helper tasks and functions to perform activities that are common across the project:
Global types & methods
All common types and methods defined at the package level can be found in
ADC_CTRL testbench instantiates (already handled in CIP base env) tl_agent which provides the ability to drive and independently monitor random traffic via TL host interface into ADC_CTRL device.
The ADC data interface is emulated using push_pull agents. (
UVM RAL Model
The ADC_CTRL RAL model is created with the
ralgen FuseSoC generator script automatically when the simulation is at the build stage.
It can be created manually by invoking
All test sequences reside in
adc_ctrl_base_vseq virtual sequence is extended from
cip_base_vseq and serves as a starting point.
All test sequences are extended from
It provides commonly used handles, variables, functions and tasks that the test sequences can use.
To ensure high quality constrained random stimulus, it is necessary to develop a functional coverage model. The following covergroups have been developed to prove that the test intent has been adequately met:
- adc_ctrl_filter_cg: filter configurations, one instance per filter These are sampled by the scoreboard when the ADC_CRTL is enabled by register and also on interrupt and wakeup line assertion. To distinguish between these situations and the fast clock gating status additional flags are also sampled enabling cross coverage.
- adc_ctrl_testmode_cg: The mode of operation of the ADC_CTRL with transition bins to show modes can be selected independently of a previous selected mode.
- adc_ctrl_hw_reset_cg: The state of the FSM and counters when a hardware reset is applied.
- adc_ctrl_fsm_reset_cg: The state of the FSM and counters when a FSM reset is applied.
adc_ctrl_scoreboard is primarily used for end to end checking.
It creates the following analysis ports to retrieve the data monitored by corresponding interface agents:
- tl_[a_chan, d_chan, dir]_fifo_lc_ctrl_reg_block.analysis_export: TileLink CSR reads/writes.
- m_adc_push_pull_fifo_[0,1,…].analysis_export: Transactions representing the ADC channel data Using data from the TileLink and ADC data streams a model within the scoreboard predicts the interrupt and wakeup line logic level at any point in the simulation. It also predicts various volatile register content. The scoreboard uses the predictions to compare against the RTL signals and register read data.
- TLUL assertions: The
tlul_assertassertions to the IP to ensure TileLink interface protocol compliance.
- ADC_CTRL FSM assertions
sva/adc_ctrl_fsm_sva.svbound inside adc_ctrl_fsm
- FsmStateSwReset_A: Checks FSM is reset by rst_aon_ni
- PwrupTimerCntSwReset_A: Checks powerup timer counter is reset by rst_aon_ni
- WakeupTimerCntSwReset_A: Checks wakeup timer counter is reset by rst_aon_ni
- NpSampleCntSwReset_A: Checks normal power sample counter is reset by rst_aon_ni
- LpSampleCntSwReset_A: Checks low power sample counter is reset by rst_aon_ni
- FsmStateHwReset_A: Checks FSM is reset by register adc_fsm_rst
- PwrupTimerCntHwReset_A: Checks powerup timer counter is reset by register adc_fsm_rst
- WakeupTimerCntHwReset_A: Checks wakeup timer counter is reset by register adc_fsm_rst
- NpSampleCntHwReset_A: Checks normal power sample counter is reset register adc_fsm_rst
- LpSampleCntHwReset_A: Checks low power sample counter is reset by register adc_fsm_rst
- Unknown checks on DUT outputs: The RTL has assertions to ensure all outputs are initialized to known values after coming out of reset.
- Assertions in
- ChannelSelOnehot_A: Checks at most one ADC channel select is asserted at any time
- ChannelSelKnown_A: Checks all ADC channel selects have a known logic value
- PwrupTime_A: Checks the time period between low power sampling cycles is consistent with the value in the configuration object.
- WakeupTime_A: Checks the time period between power up and first channel selected is consistent with the value in the configuration object.
- EnterLowPower_A: Checks the ADC power down is asserted between sampling periods in low power mode.
Building and running tests
We are using our in-house developed regression tool for building and running our tests and regressions. Please take a look at the link for detailed information on the usage, capabilities, features and known issues. Here’s how to run a smoke test:
$ $REPO_TOP/util/dvsim/dvsim.py $REPO_TOP/hw/ip/adc_ctrl/dv/adc_ctrl_sim_cfg.hjson -i adc_ctrl_smoke