Shishpal Rawat Raul Camposano A. Kahng Joseph Sawicki Mike Gianfagna Naeem Zafar A. Sharan DFM: where's the proof of value? 1061-1062 2006 conf/dac/2006 DAC http://doi.acm.org/10.1145/1146909.1147176 db/conf/dac/dac2006.html#RawatCKSGZS06