Ken Albin Nuts and Bolts of Core and SoC Verification. 249-252 2001 conf/dac/2001 DAC http://jamaica.ee.pitt.edu/Archives/ProceedingArchives/Dac/Dac2001/papers/2001/dac01/pdffiles/16_2.pdf db/conf/dac/dac2001.html#Albin01