Synthesis and optimization of algorithmic hardware descriptions = Synthese und Optimierung algorithmischer Hardwarebeschreibungen