Symbolic analysis of analog and digital circuits | IEEE Journals & Magazine | IEEE Xplore