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