Hazard-Based Detection Conditions for Improved Transition Path Delay Fault Coverage | IEEE Journals & Magazine | IEEE Xplore