Sangeetha Sudhakrishnan Liying Su Jose Renau Processor Verification with hwBugHunt. 224-229 2008 ISQED http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.127 conf/isqed/2008 db/conf/isqed/isqed2008.html#SudhakrishnanSR08