commit a6032fc30fc33a7436b9360ded736efcd431b2a4
author Weicai Yang <weicai@google.com> Wed Nov 25 22:51:17 2020 -0800
committer weicaiyang <49293026+weicaiyang@users.noreply.github.com> Wed Dec 02 13:40:42 2020 -0800
tree 8b73e027edd5db870732d7e7f68e5196c52b1d15
parent c0dc71c02150d0e409ff42120b866f85bc15b39c

[dv] Fix tl_err due to no unmapped address

Address #4317
Signed-off-by: Weicai Yang <weicai@google.com>

hw/dv/sv/cip_lib/cip_base_vseq__tl_errors.svh

diff --git a/hw/dv/sv/cip_lib/cip_base_vseq__tl_errors.svh b/hw/dv/sv/cip_lib/cip_base_vseq__tl_errors.svh
index 71c621c..ff692bf 100644
--- a/hw/dv/sv/cip_lib/cip_base_vseq__tl_errors.svh
+++ b/hw/dv/sv/cip_lib/cip_base_vseq__tl_errors.svh
@@ -138,9 +138,16 @@
 virtual task run_tl_errors_vseq(int num_times = 1, bit do_wait_clk = 0);
   bit has_mem = (cfg.mem_ranges.size > 0);
   bit [BUS_AW-1:0] csr_base_addr = cfg.ral.default_map.get_base_addr();
+  bit has_unmapped_addr;
 
+  // get_addr_mask returns address map size - 1 and get_max_offset return the offset of high byte
+  // in address map. The difference btw them is unmapped address
   csr_addr_mask = cfg.ral.get_addr_mask();
+  has_unmapped_addr = csr_addr_mask > cfg.ral.get_max_offset();
+
+  // word aligned. This is used to constrain the random address and LSB 2 bits are masked out
   csr_addr_mask[1:0] = 0;
+
   if (updated_mem_ranges.size == 0) begin
     foreach (cfg.mem_ranges[i]) begin
       updated_mem_ranges.push_back(addr_range_t'{cfg.mem_ranges[i].start_addr - csr_base_addr,
@@ -163,10 +170,11 @@
           fork
             begin
               randcase
-                1: tl_access_unmapped_addr();
                 1: tl_write_csr_word_unaligned_addr();
                 1: tl_write_less_than_csr_width();
                 1: tl_protocol_err();
+                // only run when unmapped addr exists
+                has_unmapped_addr: tl_access_unmapped_addr();
                 // only run this task when there is an mem
                 has_mem: tl_write_mem_less_than_word();
                 has_mem: tl_read_mem_err();