Single-cycle, pulse-shaped critical path monitor in the POWER7+ microprocessorAlan J. DrakeMichael S. Floydet al.2013ISLPED 2013