Memory Access Test Sequence

Contents
Memory Access Test Sequence
uvm_mem_single_access_seqVerify the accessibility of a memory by writing through its default address map then reading it via the backdoor, then reversing the process, making sure that the resulting value matches the written value.
uvm_mem_access_seqVerify the accessibility of all memories in a block by executing the uvm_mem_single_access_seq sequence on every memory within it.

uvm_mem_single_access_seq

Verify the accessibility of a memory by writing through its default address map then reading it via the backdoor, then reversing the process, making sure that the resulting value matches the written value.

If bit-type resource named “NO_REG_TESTS”, “NO_MEM_TESTS”, or “NO_MEM_ACCESS_TEST” in the “REG::” namespace matches the full name of the memory, the memory is not tested.

uvm_resource_db#(bit)::set({"REG::",regmodel.blk.mem0.get_full_name()},
                           "NO_MEM_TESTS", 1, this);

Memories without an available backdoor cannot be tested.

The DUT should be idle and not modify the memory during this test.

Summary
uvm_mem_single_access_seq
Verify the accessibility of a memory by writing through its default address map then reading it via the backdoor, then reversing the process, making sure that the resulting value matches the written value.
Class Hierarchy
uvm_reg_sequence#(uvm_sequence#(uvm_reg_item))
uvm_mem_single_access_seq
Class Declaration
class uvm_mem_single_access_seq extends uvm_reg_sequence #(
    uvm_sequence  #(uvm_reg_item)
)
Variables
memThe memory to be tested

Variables

mem

uvm_mem mem

The memory to be tested

uvm_mem_access_seq

Verify the accessibility of all memories in a block by executing the uvm_mem_single_access_seq sequence on every memory within it.

If bit-type resource named “NO_REG_TESTS”, “NO_MEM_TESTS”, or “NO_MEM_ACCESS_TEST” in the “REG::” namespace matches the full name of the block, the block is not tested.

uvm_resource_db#(bit)::set({"REG::",regmodel.blk.get_full_name(),".*"},
                           "NO_MEM_TESTS", 1, this);
Summary
uvm_mem_access_seq
Verify the accessibility of all memories in a block by executing the uvm_mem_single_access_seq sequence on every memory within it.
Class Hierarchy
uvm_reg_sequence#(uvm_sequence#(uvm_reg_item))
uvm_mem_access_seq
Class Declaration
class uvm_mem_access_seq extends uvm_reg_sequence #(
    uvm_sequence  #(uvm_reg_item)
)
Variables
modelThe block to be tested.
mem_seqThe sequence used to test one memory
Methods
bodyExecute the Memory Access sequence.
do_blockTest all of the memories in a given block
reset_blkReset the DUT that corresponds to the specified block abstraction class.

Variables

model

The block to be tested.  Declared in the base class.

uvm_reg_block model;

mem_seq

protected uvm_mem_single_access_seq mem_seq

The sequence used to test one memory

Methods

body

virtual task body()

Execute the Memory Access sequence.  Do not call directly.  Use seq.start() instead.

do_block

protected virtual task do_block(
    uvm_reg_block  blk
)

Test all of the memories in a given block

reset_blk

virtual task reset_blk(
    uvm_reg_block  blk
)

Reset the DUT that corresponds to the specified block abstraction class.

Currently empty.  Will rollback the environment’s phase to the reset phase once the new phasing is available.

In the meantime, the DUT should be reset before executing this test sequence or this method should be implemented in an extension to reset the DUT.

class uvm_mem_single_access_seq extends uvm_reg_sequence #(
    uvm_sequence  #(uvm_reg_item)
)
Verify the accessibility of a memory by writing through its default address map then reading it via the backdoor, then reversing the process, making sure that the resulting value matches the written value.
class uvm_mem_access_seq extends uvm_reg_sequence #(
    uvm_sequence  #(uvm_reg_item)
)
Verify the accessibility of all memories in a block by executing the uvm_mem_single_access_seq sequence on every memory within it.
uvm_mem mem
The memory to be tested
protected uvm_mem_single_access_seq mem_seq
The sequence used to test one memory
virtual task body()
Execute the Memory Access sequence.
protected virtual task do_block(
    uvm_reg_block  blk
)
Test all of the memories in a given block
virtual task reset_blk(
    uvm_reg_block  blk
)
Reset the DUT that corresponds to the specified block abstraction class.