Ghaith Bany Hamad, Otmane Aït Mohamed, Syed Rafay Hasan, Yvon Savaria. Identification of soft error glitch-propagation paths: Leveraging SAT solvers. In 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea (South), May 20-23, 2012. pages 3258-3261, IEEE, 2012. [doi]
Abstract is missing.