Parallel Processing Techniques for the Simulation of MOS VLSI Circuits Using Waveform Relaxation - David William Smart (1988)