Effect of FPGA Circuit Implementation on Error Detection Using Logic Implication Checking | IEEE Conference Publication | IEEE Xplore