Title: Simulation and timing verification of CMOS VLSI systems