The How To’s of Advanced Mixed-Signal Verification