Leon Stok Nikil D. Dutt Soha Hassoun Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011 DAC ACM 2011 978-1-4503-0636-2 http://dl.acm.org/citation.cfm?id=2024724 db/conf/dac/dac2011.html