From: Cole Poirier <colepoirier@gmail.com>
Date: Thu, 27 Aug 2020 23:38:09 +0000 (-0700)
Subject: dcache.py add skeleton sim and test adapted from mmu.py which was
X-Git-Tag: semi_working_ecp5~249
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ec5c015f76a122713aec907a8364790b41ea038e;p=soc.git

dcache.py add skeleton sim and test adapted from mmu.py which was
adapted from regfile.py
---

diff --git a/src/soc/experiment/dcache.py b/src/soc/experiment/dcache.py
index 9e8a27be..3d08185a 100644
--- a/src/soc/experiment/dcache.py
+++ b/src/soc/experiment/dcache.py
@@ -2520,3 +2520,49 @@ class Dcache(Elaboratable):
         # Wire up wishbone request latch out of stage 1
         comb += wishbone_out.eq(r1.wb)
 
+
+def dcache_sim():
+    yield wp.waddr.eq(1)
+    yield wp.data_i.eq(2)
+    yield wp.wen.eq(1)
+    yield
+    yield wp.wen.eq(0)
+    yield rp.ren.eq(1)
+    yield rp.raddr.eq(1)
+    yield Settle()
+    data = yield rp.data_o
+    print(data)
+    assert data == 2
+    yield
+
+    yield wp.waddr.eq(5)
+    yield rp.raddr.eq(5)
+    yield rp.ren.eq(1)
+    yield wp.wen.eq(1)
+    yield wp.data_i.eq(6)
+    yield Settle()
+    data = yield rp.data_o
+    print(data)
+    assert data == 6
+    yield
+    yield wp.wen.eq(0)
+    yield rp.ren.eq(0)
+    yield Settle()
+    data = yield rp.data_o
+    print(data)
+    assert data == 0
+    yield
+    data = yield rp.data_o
+    print(data)
+
+def test_dcache():
+    dut = Dcache()
+    vl = rtlil.convert(dut, ports=[])
+    with open("test_dcache.il", "w") as f:
+        f.write(vl)
+
+    run_simulation(dut, dcache_sim(), vcd_name='test_dcache.vcd')
+
+if __name__ == '__main__':
+    test_dcache()
+