US7643979B2 - Method to Analyze an Analog Circuit Design with a Verification Program