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