PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization | IEEE Journals & Magazine | IEEE Xplore