Detection of glitch-prone clock and reset propagation with automated formal analysis Author(s): Kaushal Shah, Sulabh Kumar Khare Type: Paper Download
