ISAAC: a symbolic simulator for analog integrated circuits | IEEE Journals & Magazine | IEEE Xplore