Modeling of the power-supply interactions of CMOS operational amplifiers using symbolic computation | IEEE Conference Publication | IEEE Xplore