Developments in verification of design correctness (A Tutorial).

Wendell E. Cory, William M. van Cleemput

Browse the full DAC paper archive.