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

Tun Li, Dan Zhu, Sikun Li, Yang Guo

Browse the full ASPDAC paper archive.