Higher-Level Hardware Synthesis - Richard Sharp ((Lecture Notes in Computer Science))