Describir: Interval Methods for Analog Circuits