Logic Verification Algorithms and Their Parallel Implementation.

Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, Ruey-Sing Wei

Browse the full DAC paper archive.