Identification of soft error glitch-propagation paths: Leveraging SAT solvers.

Ghaith Bany Hamad, Otmane At Mohamed, Syed Rafay Hasan, Yvon Savaria

Browse the full ISCAS paper archive.