Constraints containing |

riscv-dv/src/riscv_load_store_instr_lib.sv:434:5: Internal: Unexpected Call 434 | |addr_offset[XLEN-1] == 1'b1; | ^ Signed-off-by: Ryszard Rozak <[email protected]>
antmicro · Oct 9, 2024 · 9a39cc0 · 9a39cc0
1 parent cece9f5
commit 9a39cc0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/riscv_load_store_instr_lib.sv b/src/riscv_load_store_instr_lib.sv
@@ -431,7 +431,6 @@ class riscv_load_store_rand_addr_instr_stream extends riscv_load_store_base_inst
 
   // Find an unused 4K page from address 1M onward
   constraint addr_offset_c {
-    |addr_offset[XLEN-1:20] == 1'b1;
     // TODO(taliu) Support larger address range
     addr_offset[XLEN-1:31] == 0;
     addr_offset[11:0] == 0;