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 0da2aff500d8873a4afd76333970631a510ad8d6..28960d134b8660e551447522c7a90f2058bb6f4e 100644 (file)
--- a/src/TLB/ariane/test/test_tlb_content.py
+++ b/src/TLB/ariane/test/test_tlb_content.py
@@ -5,17 +5,38 @@ 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 update():
-    yield dut.replace_en_i.eq(1)
-    
-def tbench(dut):
+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(1)
-    yield dut.update_i.vpn.eq(0xFFFFFFFF)
+    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__":