Algorithms for Taylor expansion diagrams [IC design/verification applications] | IEEE Conference Publication | IEEE Xplore