Synthesis and Optimization of FPGA-Based Systems (Lecture Notes in Electrical Engineering, Band 294)