diff --git a/src/riscv_load_store_instr_lib.sv b/src/riscv_load_store_instr_lib.sv index cae08731..1eff2b72 100644 --- 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;