Ansätze einer High-Level-Synthese in der Electronic Design Automation - pocket, Tysk, 2005