A Unified Approach For Timing Verification And Delay Fault Testing by Mukund Sivaraman & Andrzej Strojwas