High Performance Embedded System Optimization Using Algebraic and Generalized Retiming Techniques