An efficient technique for processor automatic functional test generation based on evolutionary strategies | IEEE Conference Publication | IEEE Xplore