Symbolic Analysis of Analog Circuits By Boolean Logic Operations | IEEE Journals & Magazine | IEEE Xplore