Application specified soft error failure rate analysis using sequential equivalence checking techniques. - Li, Tun; Zhu, Dan; Li, Sikun; Guo, Yang (2013)