A Unified Approach for Timing Verification and Delay Fault TestingAndrzej J. Strojwas, Mukund Sivaraman₹7,742