add read at different locations in test_ldst_pi.py
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 13 May 2021 17:05:01 +0000 (18:05 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 13 May 2021 17:05:01 +0000 (18:05 +0100)
src/soc/experiment/test/test_ldst_pi.py

index 290cbf5e081138d922a497efd52f500775d5e304..c529372a9c7c66cd5dee33c643999329d2f35fee 100644 (file)
@@ -56,7 +56,8 @@ def wb_get(wb):
            b(0x40000000000300ad),
 
          # data to return
-          0x1000: 0xdeadbeef01234567
+          0x1000: 0xdeadbeef01234567,
+          0x1008: 0xfeedf00ff001a5a5
           }
 
     while not stop:
@@ -113,7 +114,7 @@ def mmu_lookup(dut, addr):
     yield
     yield mmu.l_in.valid.eq(0)
 
-    return phys_addr
+    return data
 
 
 def ldst_sim(dut):
@@ -133,6 +134,10 @@ def ldst_sim(dut):
     phys_addr = yield from mmu_lookup(dut, addr)
     #assert phys_addr == addr # happens to be the same (for this example)
 
+    phys_addr = yield from mmu_lookup(dut, addr+4)
+
+    phys_addr = yield from mmu_lookup(dut, addr+8)
+
     stop = True