Tun Li, Dan Zhu, Sikun Li, Yang Guo. Application specified soft error failure rate analysis using sequential equivalence checking techniques. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 608-613, IEEE, 2013. [doi]
Abstract is missing.