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