Detection of glitch-prone clock and reset propagation with automated formal analysis