Timing optimization by bit-level arithmetic transformations.

Luc Rijnders Zohair Sahraoui Paul Six Hugo De Man Timing optimization by bit-level arithmetic transformations. 48-53 1995 EURO-DAC http://doi.acm.org/10.1145/224270.224286 conf/eurodac/1995 db/conf/eurodac/euro-dac1995.html#RijndersSSM95