Application specified soft error failure rate analysis using sequential equivalence checking techniques.

Tun LiDan ZhuSikun LiYang Guo
Published in: ASP-DAC (2013)