Digitizing Mixed Signal Verification