Bounding Approach To Vlsi Circuit Simulation door Charles A. Zukowski