Error Propagation Analysis for Single Event Upset considering Masking Effects on Re-convergent Path