A comparison of three verification techniques: directed testing, pseudo-random testing and property checking.

Mike Bartley, Darren Galpin, Tim Blackmore

Browse the full DAC paper archive.