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