Parallel gate-level circuit simulation on shared memory architectures. - Rajive L. Bagrodia; Yuan Chen; Vikas Jha; Nicki Sonpar (PADS, 1995)