Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs