Analog circuit sizing based on formal methods using affine arithmetic | IEEE Conference Publication | IEEE Xplore