Symbolic Framework for Linear Active Circuits Based on Port Equivalence Using Limit Variables | IEEE Journals & Magazine | IEEE Xplore