Accurate timing analysis using SAT and pattern-dependent delay models.

Desta Tadesse, D. Sheffield, E. Lenge, R. Iris Bahar, Joel Grodstein

Browse the full DATE paper archive.