High-Level Modeling and Synthesis of Analog Integrated Systems