Timing optimization by bit-level arithmetic transformations | IEEE Conference Publication | IEEE Xplore