Identification of soft error glitch-propagation paths: Leveraging SAT solvers | IEEE Conference Publication | IEEE Xplore