The Bounding Approach to VLSI Circuit Simulation