Advanced Analog Simulation and Verification Techniques