Entwicklung einer Methodik zur Formalen Synthese

在这座城市里，你会发现这是一件非常重要的事情。这句话的意思是：“我不是一个人，而是一个人，他不是一个人，而是一个人。这是一件非常重要的事情，因为这是一件非常重要的事情。他的唯一的资格和综合服务的修女在世界各地。Zu Diesem Zweck Sollen in Konvenonellen算法定义了Verfahren zur最优综合在Dm erarbeiteten形式化系统中被设置。Nachweis，da？Mit Hilfe和Formaren综合了这些定性的Schaltongen合成方法。Im Untersched zur konvenonellen Synchronous Wind beder Formaren Synthen这些过敏反应自动实现，并由Schaltungen Bezüglich Ihrer Spezifikationen Korrekt Sind提供。

In den ersten beiden Projektjahren wurde die Grundlage zur logisch fundierten Schaltungssynthese geschaffen. Durch diesen Ansatz ist es erstmals möglich, eine durchgängige, garantiert korrekte Synthese von der Systemebene bis zur Gatterebene durchzuführen. Neben der Korrektheit einer Implementierung spielt deren Qualität eine ebenso entscheidende Rolle für deren Verwertbarkeit. Daher soll die Qualität des Syntheseergebnisses nun in den Vordergrund gerückt werden. Zu diesem Zweck sollen die in konventionellen Algorithmen definierten Verfahren zur optimierenden Synthese in dem erarbeiteten formalen System eingesetzt werden. Ziel ist der Nachweis, daß mit Hilfe der Formalen Synthese qualitativ hochwertige Schaltungen synthetisiert werden können. Im Unterschied zur konventionellen Synthese wird bei der Formalen Synthese allerdings zusätzlich automatisch der Beweis erbracht, daß die synthetisierten Schaltungen bezüglich ihrer Spezifikationen korrekt sind.