Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench: The System Architect's Workbench (The Springer International Series in Engineering and Computer Science)