A Fault Propagation Model for FPGA Netlist with Un-Reconvergence Paths | IEEE Conference Publication | IEEE Xplore