Analog circuit sizing based on formal methods using affine arithmetic.

Andreas C. Lemke, Lars Hedrich, Erich Barke

Browse the full ICCAD paper archive.