[otbn,dv] Fix is_valid_*b_addr check
This check is supposed to be working out whether the word for the
address actually exists. The divide by 32 was right when our words
were 256 bits long, but needs to change to 4 now that they are just
32.
Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
diff --git a/hw/ip/otbn/dv/otbnsim/sim/dmem.py b/hw/ip/otbn/dv/otbnsim/sim/dmem.py
index 79b0c2c..d08f8c6 100644
--- a/hw/ip/otbn/dv/otbnsim/sim/dmem.py
+++ b/hw/ip/otbn/dv/otbnsim/sim/dmem.py
@@ -144,7 +144,7 @@
if addr & 31:
return False
- word_addr = addr // 32
+ word_addr = addr // 4
if word_addr >= len(self.data):
return False
@@ -175,7 +175,7 @@
if addr & 3:
return False
- if (addr + 3) // 32 >= len(self.data):
+ if (addr + 3) // 4 >= len(self.data):
return False
return True
