Synthesis Techniques and Optimizations for Reconfigurable Systems