Preventing Chip-Killing Glitches on CDC Paths with Automated Formal Analysis Author(s): Jackie Hsiung, Sulabh Kumar Khare, and Ashish Hari Download