Parallel gate-level circuit simulation on shared memory architectures.

Rajive L. Bagrodia, Yuan Chen, Vikas Jha, Nicki Sonpar

Browse the full PADS paper archive.