From c10565204ba6baf4661266a073ae850f483c4351 Mon Sep 17 00:00:00 2001 From: Alae Eddine Ez zejjari Date: Mon, 13 Mar 2023 10:02:35 +0100 Subject: [PATCH] axi_agent: adapt the assertion to support the AXI modifiable transaction Signed-off-by: Alae Eddine Ez zejjari --- cva6/tb/uvmt/uvmt_cva6_axi_assert.sv | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cva6/tb/uvmt/uvmt_cva6_axi_assert.sv b/cva6/tb/uvmt/uvmt_cva6_axi_assert.sv index 749d79d387..0fac8d0a2e 100644 --- a/cva6/tb/uvmt/uvmt_cva6_axi_assert.sv +++ b/cva6/tb/uvmt/uvmt_cva6_axi_assert.sv @@ -56,12 +56,12 @@ module uvmt_cva6_axi_assert (uvma_axi_intf axi_assert, input bit clk, input rst //Check if AWCACHE is always equal to 0b0000 property AXI4_CVA6_AWCACHE; - @(posedge clk) disable iff (!rst_n) axi_assert.aw_valid |-> axi_assert.aw_cache == 0; + @(posedge clk) disable iff (!rst_n) axi_assert.aw_valid |-> axi_assert.aw_cache == 2; endproperty //Check if ARCACHE is always equal to 0b0000 property AXI4_CVA6_ARCACHE; - @(posedge clk) disable iff (!rst_n) axi_assert.ar_valid |-> axi_assert.ar_cache == 0; + @(posedge clk) disable iff (!rst_n) axi_assert.ar_valid |-> axi_assert.ar_cache == 2; endproperty //Check if Protection attributes for write transaction always take the 0b000