Title: Bounding Approach to VLSI Circuit Simulation