Entwicklung einer Methodik zur Formalen Synthese

在第一个项目中，逻辑基础是Schaltungssynthese geschaffen。这是一个非常古老的建筑，它的设计，保证了系统的合成，而不是通过Gatterebene。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韦尔登.这两种方法都必须在传统的方法中定义最佳合成的方法，以确定一个韦尔登系统的最佳合成。这是一个很好的办法，它可以帮助合成高质量的甲醛合成韦尔登。在常规合成方法的基础上，Formalen Synthese使Beweis erbracht自动化，但合成的Schaltungen使其反应速度降低。

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.