Bit-Level Transformation and Optimization for Hardware Synthesis of Algorithmic Descriptions