High-Level Transformationen erlauben eine zielgerichtete Optimierung einer Entwurfsbeschreibung bereits auf Verhaltensebene. Zum Einsatz kommen dabei vor allem aus der Compilertechnik bekannte Transformationen, wie z.B. Entrollen von Schleifen, Propagieren von Konstanten, Anwendung algebraischer Gesetzmäßigkeiten oder Optimierung von Speicherzugriffen. Ein wesentliches Augenmerk ist dabei auf eine Automatisierung der Transformationsanwendung gerichtet.
Der hier verfolgter Ansatz basiert darauf, High-Level Transformationen nicht als isolierte, der High-Level Synthese vorgeschaltete Aktivität zu betrachten, sondern diese als eine in die High-Level Synthese integrierte Instanz zu interpretieren. Diese enge Kopplung von High-Level-Transformationen und High-Level Synthese ermöglicht eine Optimierung des Designs auf hoher Abstraktionsebene unter Berücksichtigung spezifischer Charakteristika einzelner Syntheseschritte. Wichtige Teilprobleme im Bereich der Transformationssteuerung sind z.B. die Bereitstellung von Verfahren, die eine Abschätzung von Entwurfsergebnissen bereits auf hoher Entwurfsebene gestatten, sowie die Realisierung von effizienten Algorithmen zur Identifikation optimaler Transformations-Sequenzen.