Pdf A Unified Approach For Timing Verification And Delay Fault Testing