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

Fast Measurement of the "Non-Deterministic Zone" in Microprocessor Debug Using Maximum Likelihood Estimation. - Desta Tadesse; R. Iris Bahar; Joel Grodstein (VTS, 2008)

AutoRex: An automated post-silicon clock tuning tool. - Desta Tadesse; Joel Grodstein; R. Iris Bahar (ITC, 2009)

Test Vector Generation for Post-Silicon Delay Testing Using SAT-Based Decision Problems. - Desta Tadesse; R. Iris Bahar; Joel Grodstein (J. Electron. Test., 2011)