Symbolic circuit analysis: an overview | IEEE Conference Publication | IEEE Xplore