Algorithmic and Register-Transfer Level Synthesis: The System Architect’s Workbench heftetEngelsk, 2011