Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia. Counterexample-guided SMT-driven optimal buffer sizing. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 329-334, IEEE, 2011. [doi]
Abstract is missing.