Desta Tadesse, D. Sheffield, E. Lenge, R. Iris Bahar, Joel Grodstein
Accurate timing analysis using SAT and pattern-dependent delay models
DATE, 2007.
@inproceedings{DATE-2007-TadesseSLBG,
author = "Desta Tadesse and D. Sheffield and E. Lenge and R. Iris Bahar and Joel Grodstein",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266586",
isbn = "978-3-9810801-2-4",
pages = "1018--1023",
publisher = "{ACM}",
title = "{Accurate timing analysis using SAT and pattern-dependent delay models}",
year = 2007,
}