Amir Hekmatpour James Coulter Azadeh Salehi FoCuS: A Dynamic Regression Suite Generation Platform for Processor Functional Verification. 373-378 2005 conf/cata/2005 Computers and Their Applications db/conf/cata/cata2005.html#HekmatpourCS05