A novel functional test generation method for processors using commercial ATPG | IEEE Conference Publication | IEEE Xplore