Higher-Level Hardware Synthesis (Lecture Notes in Computer Science, 2963, Band 2963)