Predicting Timing Violations Through Instruction-Level Path Sensitization Analysis. - Roy, Sanghamitra; Chakraborty, Koushik (DAC: Annual ACM/IEEE Design Automation Conference, 2012)