A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits