X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2FTLB%2Ftest%2Ftest_tlb.py;h=e9cc9d6954ba0da8a6ff13d2be06b1be2eff0f5e;hb=a213c17b02ab877e5563bc851ceda3b0fb8534c7;hp=73f34e4db8f20aa919ca9a7e3d56185e427f6840;hpb=8db2c7353efa0885d95a00a55435959390bbc947;p=soc.git

diff --git a/src/TLB/test/test_tlb.py b/src/TLB/test/test_tlb.py
index 73f34e4d..e9cc9d69 100644
--- a/src/TLB/test/test_tlb.py
+++ b/src/TLB/test/test_tlb.py
@@ -5,17 +5,76 @@ from nmigen.compat.sim import run_simulation
 
 from TLB.TLB import TLB
 
-from TestUtil.test_helper import assert_op
+from TestUtil.test_helper import assert_op, assert_eq
+
+#self.supermode = Signal(1) # Supervisor Mode
+#self.super_access = Signal(1) # Supervisor Access
+#self.command = Signal(2) # 00=None, 01=Search, 10=Write L1, 11=Write L2
+#self.xwr = Signal(3) # Execute, Write, Read
+#self.mode = Signal(4) # 4 bits for access to Sv48 on Rv64
+#self.address_L1 = Signal(max=L1_size)
+#self.asid = Signal(asid_size) # Address Space IDentifier (ASID)
+#self.vma = Signal(vma_size) # Virtual Memory Address (VMA)
+#self.pte_in = Signal(pte_size) # To be saved Page Table Entry (PTE)
+#
+#self.hit = Signal(1) # Denotes if the VMA had a mapped PTE
+#self.perm_valid = Signal(1) # Denotes if the permissions are correct
+#self.pte_out = Signal(pte_size) # PTE that was mapped to by the VMA
+
+COMMAND_READ=1
+COMMAND_WRITE_L1=2
+
+# Checks the data state of the CAM entry
+# Arguments:
+#   dut: The CamEntry being tested
+#   d (Data): The expected data
+#   op (Operation): (0 => ==), (1 => !=)
+def check_hit(dut, d):
+    hit_d = yield dut.hit
+    #assert_eq("hit", hit_d, d)
+
+def test_command(dut,cmd,xwr,cycles):
+    yield dut.command.eq(cmd)
+    yield dut.xwr.eq(xwr)
+    for i in range(0,cycles):
+        yield
+
+def test_write_L1(dut,vma,address_L1,asid,pte_in):
+    yield dut.address_L1.eq(address_L1)
+    yield dut.asid.eq(asid)
+    yield dut.vma.eq(vma)
+    yield dut.pte_in.eq(pte_in)
+    yield from test_command(dut,COMMAND_WRITE_L1,7,2)
+
+def test_search(dut,vma,found):
+    yield dut.vma.eq(vma)
+    yield from test_command(dut,COMMAND_READ,7,1)
+    yield from check_hit(dut,found)
+
+def zero(dut):
+    yield dut.supermode.eq(0)
+    yield dut.super_access.eq(0)
+    yield dut.mode.eq(0)
+    yield dut.address_L1.eq(0)
+    yield dut.asid.eq(0)
+    yield dut.vma.eq(0)
+    yield dut.pte_in.eq(0)
 
 def tbench(dut):
-    yield
-    yield
-    #TODO
+    yield from zero(dut)
+    yield dut.mode.eq(0xF) # enable TLB
+    #test hit
+    yield from test_write_L1(dut,0xFEEDFACE,0,0xFFFF,0xF0F0)
+    yield from test_search(dut,0xFEEDFACE,1)
+    yield from test_search(dut,0xFACEFEED,0)
+    
+
+    
 
 def test_tlb():
     dut = TLB(15,36,64,8)
     run_simulation(dut, tbench(dut), vcd_name="Waveforms/test_tlb.vcd")
-    print("TLB Unit Test TODO")
+    print("TLB Unit Test Success")
 
 if __name__ == "__main__":
     test_tlb()