verification of a switch dut