A symbolic analysis tool for analog circuit design automation | IEEE Conference Publication | IEEE Xplore