Value read = 0f Value read = 10 Value read = 20 Value read = 21 Value Written = 11 Value Written = 12 Value read = 11 Value read = 12 Simulation Passes Final state: top: count1 = 0x00 counter = 0x17 dut = EMPTY fail = False sizeoflist = 0x00