Design fault injection-based technique and tool for FPGA projects verification | IEEE Conference Publication | IEEE Xplore