Accurate timing analysis using SAT and pattern-dependent delay models - Desta Tadesse; D. Sheffield; E. Lenge; R. Iris Bahar; Joel Grodstein (2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, 2007)