SymSim: symbolic fault simulation of data-flow data-path designs at the Register-Transfer level | IEEE Conference Publication | IEEE Xplore