SEMU: a parallel processing system for timing simulation of digital CMOS VLSI circuits | IEEE Conference Publication | IEEE Xplore