Analog-Mixed Signal Verification