On exercising hardware-software logical equivalency using FPGAs | IEEE Conference Publication | IEEE Xplore