Static Timing Analysis Of Microprocessors With Emphasis On Heuristics