SEMU: A Parallel Processing System for Timing Simulation of Digital CMOS VLSI Circuits. - Abhaya Asthana; Mike Laznovsky; Boyd Mathews (VLSI Design, 1994)