Sequential Logic Testing and Verification