Statistical Viability Analysis for Detecting False Paths Under Delay Variation | IEEE Journals & Magazine | IEEE Xplore