Dong-U Lee Altaf Abdul Gaffar Oskar Mencer Wayne Luk MiniBit: bit-width optimization via affine arithmetic. 837-840 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065799 db/conf/dac/dac2005.html#LeeGML05