Methodology of fault injection based on EDA software | IEEE Conference Publication | IEEE Xplore