A Method to Search Fallible Branch in FPGA Programs | IEEE Conference Publication | IEEE Xplore