Bounding Approach To Vlsi Circuit Simulation by Charles A. Zukowski