Synthesis and optimization of algorithmic hardware descriptions = Synthese und Optimierung algorithmischer Hardwarebeschreibungen - Münch, Michael 1968- (Forschungsberichte Mikroelektronik, 1999)