Performance and functional verification of microprocessorsPradip BoseJacob A. Abraham2000VLSID 2000Conference paper