Theorems on the global convergence of the nonlinear homotopy method for MOS circuits | IEEE Conference Publication | IEEE Xplore