Application specified soft error failure rate analysis using sequential equivalence checking techniques | IEEE Conference Publication | IEEE Xplore