terapage lookup

[soc.git] / src / TLB / ariane / test / test_tlb_content.py

diff --git a/src/TLB/ariane/test/test_tlb_content.py b/src/TLB/ariane/test/test_tlb_content.py
index 2261329f01ccf00de31314c6b610a6156fc4b935..28960d134b8660e551447522c7a90f2058bb6f4e 100644 (file)
--- a/src/TLB/ariane/test/test_tlb_content.py
+++ b/src/TLB/ariane/test/test_tlb_content.py
@@ -5,16 +5,40 @@ sys.path.append("../../../TestUtil")
 from nmigen.compat.sim import run_simulation
 
 from TLB.ariane.tlb_content import TLBContent
+from TestUtil.test_helper import assert_op, assert_eq
 
-#def set_vaddr(addr):
-#    yield dut.lu_vaddr_i.eq(addr)
-#    yield dut.update_i.vpn.eq(addr>>12)
-
-def tbench(dut):
-    yield
+def update(dut,a,t,g,m):
+    yield dut.replace_en_i.eq(1)
+    yield dut.update_i.valid.eq(1)
+    yield dut.update_i.is_512G.eq(t)
+    yield dut.update_i.is_1G.eq(g)
+    yield dut.update_i.is_2M.eq(m)
+    yield dut.update_i.vpn.eq(a)
     yield
     yield
 
+def check_hit(dut,hit,t):
+    hit_d = yield dut.lu_hit_o
+    assert_eq("hit", hit_d, hit)
+    t_d = yield dut.lu_is_512G_o
+    assert_eq("t", t_d, t)
+
+def addr(a,b,c,d):
+    return a | b << 9 | c << 18 | d << 27  
+    
+def tbench(dut):
+    yield dut.vpn0.eq(0xAA)
+    yield dut.vpn1.eq(0xBB)
+    yield dut.vpn2.eq(0xCC)
+    yield dut.vpn3.eq(0x0D)
+    yield from update(dut,addr(0x0A,0x0B,0x0C,0x0D),1,0,0)
+    yield from check_hit(dut,1,1)
+    yield from update(dut,addr(0x0A,0x0B,0x0C,0x0D),0,1,0)
+    yield from update(dut,addr(0x0A,0x0B,0x0C,0x0D),0,0,1)
+    
+    
+    
+
 if __name__ == "__main__":
     dut = TLBContent(4,4)
     #