Alvin R. Lebeck Krishnendu Chakrabarty Introduction to DAC 2007 special section. 2008 4 JETC 3 http://doi.acm.org/10.1145/1389089.1389090 db/journals/jetc/jetc4.html#LebeckC08