Master assertions, Assertion configuration – Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite User Manual
Page 155
VHDL Master BFM
Master Assertions
Mentor Verification IP AE AXI4-Lite User Guide, V10.3
155
April 2014
1.
Refer to
for details of simulator time-steps.
Master Assertions
Each master BFM performs protocol error checking via built-in assertions.
Note
The built-in BFM assertions are independent of programming language and simulator.
Assertion Configuration
By default, all built-in assertions are enabled in the master BFM. To globally disable them in the
master BFM, use the
command as the following example illustrates.
set_config(AXI4_CONFIG_ENABLE_ALL_ASSERTIONS,0,bfm_index,
axi4_tr_if_0(bfm_index));
Alternatively, you can disable individual built-in assertions by using a sequence of
and
commands on the respective assertion. For example, to disable assertion
checking for the AWADDR signal changing between the AWVALID and AWREADY
handshake signals, use the following sequence of commands:
-- Define a local bit vector to hold the value of the assertion bit vector
variable config_assert_bitvector : std_logic_vector(AXI4_MAX_BIT_SIZE-1
downto 0);
-- Get the current value of the assertion bit vector
get_config(AXI4_CONFIG_ENABLE_ASSERTION, config_assert_bitvector,
bfm_index, axi4_tr_if_0(bfm_index));
-- Assign the AXI4_AWADDR_CHANGED_BEFORE_AWREADY assertion bit to 0
config_assert_bitvector(AXI4_AWADDR_CHANGED_BEFORE_AWREADY) := ‘0’;
-- Set the new value of the assertion bit vector
set_config(AXI4_CONFIG_ENABLE_ASSERTION, config_assert_bitvector,
bfm_index, axi4_tr_if_0(bfm_index));
AXI4_CONFIG_ENABLE_ASSERTION
Individual enable/disable of assertion
check in the BFM.
0 = disabled
1 = enabled (default)
Table 8-2. Master BFM Configuration (cont.)
Configuration Field
Description