Symbolic analysis for computer-aided circuit design-The interpolative approach | IEEE Journals & Magazine | IEEE Xplore