Sequential Circuit Verification Using Symbolic Model Checking.

Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill

Browse the full DAC paper archive.