Prabhat Jain G. Edward Suh Srinivas Devadas 869-874 2003 conf/dac/2003 DAC http://doi.acm.org/10.1145/775832.776051 db/conf/dac/dac2003.html#JainSD03