Accurate timing analysis using SAT and pattern-dependent delay models. - Tadesse, Desta; Sheffield, D.; Lenge, E.; Bahar, R. Iris; Grodstein, Joel (2007)