Abstract
Necessary and sufficient conditions are presented for the global invertibility of a certain general operator that arises in the analysis of realistically modeled nonlinear networks containing transistors and diodes. It is often possible to determine by inspection whether or not a certain key condition is satisfied; whenever the conditions are satisfied there are convergent algorithms for computing the solution of the associated network problem.