Analog Circuits; Global Optimization; Verification; Qualitative Simulation