Learning Approaches To Analog And Mixed Signal Verification And Analysis