+
+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)
+
+