Limor Fix Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008 DAC ACM 978-1-60558-115-6 2008 http://dl.acm.org/citation.cfm?id=1391469 db/conf/dac/dac2008.html