Getting it right [functional microprocessor verification] | IEEE Journals & Magazine | IEEE Xplore