Title: Interval methods for VLSI circuit simulation