diff --git a/pipelined/config/rv32e/wally-config.vh b/pipelined/config/rv32e/wally-config.vh
index 5311cc004..8b6dea7e7 100644
--- a/pipelined/config/rv32e/wally-config.vh
+++ b/pipelined/config/rv32e/wally-config.vh
@@ -88,10 +88,10 @@
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b0
 `define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h00001FFF
+`define DTIM_RANGE      34'h007FFFFF
 `define IROM_SUPPORTED 1'b0
 `define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h00001FFF
+`define IROM_RANGE      34'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   34'h00001000 
 `define BOOTROM_RANGE  34'h00000FFF
diff --git a/pipelined/config/rv32gc/wally-config.vh b/pipelined/config/rv32gc/wally-config.vh
index fd5d1b4b7..69b256ad1 100644
--- a/pipelined/config/rv32gc/wally-config.vh
+++ b/pipelined/config/rv32gc/wally-config.vh
@@ -87,10 +87,10 @@
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b0
 `define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h00001FFF
+`define DTIM_RANGE      34'h007FFFFF
 `define IROM_SUPPORTED 1'b0
 `define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h00001FFF
+`define IROM_RANGE      34'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   34'h00001000 
 `define BOOTROM_RANGE  34'h00000FFF
diff --git a/pipelined/config/rv32i/wally-config.vh b/pipelined/config/rv32i/wally-config.vh
index 03a58d1a9..4eaa116a0 100644
--- a/pipelined/config/rv32i/wally-config.vh
+++ b/pipelined/config/rv32i/wally-config.vh
@@ -88,10 +88,10 @@
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b1
 `define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h000007FF
+`define DTIM_RANGE      34'h007FFFFF
 `define IROM_SUPPORTED 1'b1
 `define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h000007FF
+`define IROM_RANGE      34'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b0
 `define BOOTROM_BASE   34'h00001000 
 `define BOOTROM_RANGE  34'h00000FFF
diff --git a/pipelined/config/rv32ic/wally-config.vh b/pipelined/config/rv32ic/wally-config.vh
index 752425782..ba47915de 100644
--- a/pipelined/config/rv32ic/wally-config.vh
+++ b/pipelined/config/rv32ic/wally-config.vh
@@ -87,10 +87,10 @@
 // Range should be a thermometer code with 0's in the upper bits and 1s in the lower bits
 `define DTIM_SUPPORTED 1'b1
 `define DTIM_BASE       34'h80000000
-`define DTIM_RANGE      34'h00000FFF
+`define DTIM_RANGE      34'h007FFFFF
 `define IROM_SUPPORTED 1'b1
 `define IROM_BASE       34'h80000000
-`define IROM_RANGE      34'h00003FFF
+`define IROM_RANGE      34'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b0
 `define BOOTROM_BASE   34'h00001000 
 `define BOOTROM_RANGE  34'h00000FFF
diff --git a/pipelined/config/rv64BP/wally-config.vh b/pipelined/config/rv64BP/wally-config.vh
index b0a33b667..8591ab1c9 100644
--- a/pipelined/config/rv64BP/wally-config.vh
+++ b/pipelined/config/rv64BP/wally-config.vh
@@ -92,10 +92,10 @@
 
 `define DTIM_SUPPORTED 1'b0
 `define DTIM_BASE       56'h80000000
-`define DTIM_RANGE      56'h00001FFF
+`define DTIM_RANGE      56'h007FFFFF
 `define IROM_SUPPORTED 1'b0
 `define IROM_BASE       56'h80000000
-`define IROM_RANGE      56'h00001FFF
+`define IROM_RANGE      56'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   56'h00001000 
 `define BOOTROM_RANGE  56'h00000FFF
diff --git a/pipelined/config/rv64fpquad/wally-config.vh b/pipelined/config/rv64fpquad/wally-config.vh
index 17fd8fadd..13df811c4 100644
--- a/pipelined/config/rv64fpquad/wally-config.vh
+++ b/pipelined/config/rv64fpquad/wally-config.vh
@@ -94,10 +94,10 @@
 // *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
 `define DTIM_SUPPORTED 1'b0
 `define DTIM_BASE       56'h80000000
-`define DTIM_RANGE      56'h00001FFF
+`define DTIM_RANGE      56'h007FFFFF
 `define IROM_SUPPORTED 1'b0
 `define IROM_BASE       56'h80000000
-`define IROM_RANGE      56'h00001FFF
+`define IROM_RANGE      56'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   56'h00001000 // spec had been 0x1000 to 0x2FFF, but dh truncated to 0x1000 to 0x1FFF because upper half seems to be all zeros and this is easier for decoder
 `define BOOTROM_RANGE  56'h00000FFF
diff --git a/pipelined/config/rv64gc/wally-config.vh b/pipelined/config/rv64gc/wally-config.vh
index 92e3a8a7e..630dfdb6f 100644
--- a/pipelined/config/rv64gc/wally-config.vh
+++ b/pipelined/config/rv64gc/wally-config.vh
@@ -94,10 +94,10 @@
 // *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
 `define DTIM_SUPPORTED 1'b0
 `define DTIM_BASE       56'h80000000
-`define DTIM_RANGE      56'h00001FFF
+`define DTIM_RANGE      56'h007FFFFF
 `define IROM_SUPPORTED 1'b0
 `define IROM_BASE       56'h80000000
-`define IROM_RANGE      56'h00001FFF
+`define IROM_RANGE      56'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b1
 `define BOOTROM_BASE   56'h00001000 // spec had been 0x1000 to 0x2FFF, but dh truncated to 0x1000 to 0x1FFF because upper half seems to be all zeros and this is easier for decoder
 `define BOOTROM_RANGE  56'h00000FFF
diff --git a/pipelined/config/rv64i/wally-config.vh b/pipelined/config/rv64i/wally-config.vh
index b3b547cc9..098755cd2 100644
--- a/pipelined/config/rv64i/wally-config.vh
+++ b/pipelined/config/rv64i/wally-config.vh
@@ -94,10 +94,10 @@
 // *** each of these is `PA_BITS wide. is this paramaterizable INSIDE the config file?
 `define DTIM_SUPPORTED 1'b1
 `define DTIM_BASE       56'h80000000
-`define DTIM_RANGE      56'h000007FF
+`define DTIM_RANGE      56'h007FFFFF
 `define IROM_SUPPORTED 1'b1
 `define IROM_BASE       56'h80000000
-`define IROM_RANGE      56'h000007FF
+`define IROM_RANGE      56'h007FFFFF
 `define BOOTROM_SUPPORTED 1'b0
 `define BOOTROM_BASE   56'h00001000 // spec had been 0x1000 to 0x2FFF, but dh truncated to 0x1000 to 0x1FFF because upper half seems to be all zeros and this is easier for decoder
 `define BOOTROM_RANGE  56'h00000FFF
diff --git a/pipelined/regression/wally-pipelined-batch.do b/pipelined/regression/wally-pipelined-batch.do
index a31b753d5..1e70e2348 100644
--- a/pipelined/regression/wally-pipelined-batch.do
+++ b/pipelined/regression/wally-pipelined-batch.do
@@ -76,7 +76,7 @@ if {$2 eq "buildroot" || $2 eq "buildroot-checkpoint"} {
     run -all
     # power off -r /dut/core/*
 } else {
-    vlog -lint -work wkdir/work_${1}_${2} +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv   ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063,2596 +define+DTIM_RANGE=8388607 +define+IROM_RANGE=8388607
+    vlog -lint -work wkdir/work_${1}_${2} +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv   ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063,2596
     # start and run simulation
     # remove +acc flag for faster sim during regressions if there is no need to access internal signals
     vopt wkdir/work_${1}_${2}.testbench -work wkdir/work_${1}_${2} -G TEST=$2 -o testbenchopt
diff --git a/pipelined/regression/wally-pipelined.do b/pipelined/regression/wally-pipelined.do
index 5f019c350..9b9789116 100644
--- a/pipelined/regression/wally-pipelined.do
+++ b/pipelined/regression/wally-pipelined.do
@@ -80,7 +80,7 @@ if {$2 eq "buildroot" || $2 eq "buildroot-checkpoint"} {
         vlog +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv   ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063 +define+RAM_LATENCY=$3 +define+BURST_EN=$4
     } else {
         # *** modelsim won't take `PA_BITS, but will take other defines for the lengths of DTIM_RANGE and IROM_LEN.  For now just live with the warnings.
-        vlog +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv   ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063 +define+DTIM_RANGE=56'd8388607 +define+IROM_RANGE=56'd8388607
+        vlog +incdir+../config/$1 +incdir+../config/shared ../testbench/testbench.sv ../testbench/common/*.sv   ../src/*/*.sv ../src/*/*/*.sv -suppress 2583 -suppress 7063 
     }
     vopt +acc work.testbench -G TEST=$2 -G DEBUG=1 -o workopt