For Cadence Virtuoso The General Network Theorem and its descendants are integrated as a new analysis in ADE or the ADE XL test editor. Download