Formally Verifying Transfer Functions of Linear Analog Circuits | IEEE Journals & Magazine | IEEE Xplore