Code verification by hardware acceleration | IEEE Conference Publication | IEEE Xplore