Decomposition of signal transition graphs for the synthesis of asynchronous circuits

然而，珠宝业的现状、新兴市场的繁荣和EMV-Eigenschaften的新兴市场的崛起，都需要一个新的契机。Nebenläufigkeit的发展使其具有更高的Spezifikation Signalflankengraphen（信号转换图，STG）。由于韦尔登在自动化合成方面的优势，他们经常被禁止种植。Zustandsexplosion可以在小范围内进行STG; Zustandsexplosion的问题不应该在Vernes-Lösung上进行，而应该是在Lösung上进行。vorzuziehen岛Die bisher bekannten Dekompositionsverfahren sind allerdings努尔für sehr eingeschränkte Netzklassen anwendbar.这个项目是这样的，这个项目也是这样的。广义STG-和dabei besonderen Wert auf eine saubere formale Absicherung zu legen.因此，如果要解决质量标准的问题，就必须对设计进行标准化，并对设计方法进行标准化的改进，韦尔登认为，从包斯坦的角度来看，这是一种非常普遍的做法。Schließlich sollen die Ergebnisse in ein CAD Werkzeug integriert韦尔登.

Wegen ihrer hohen, der jeweiligen Situation angepaßten Reaktionsgeschwindigkeit, der geringen Ruheverlustleistung und der günstigeren EMV-Eigenschaften genießen asynchrone Schaltungen derzeit besondere Aufmerksamkeit. Aufgrund der Nebenläufigkeit haben sich zu ihrer Spezifikation Signalflankengraphen (signal transition graphs, STGs) bewährt. Aus diesen werden zur Synthese endliche Automaten abgeleitet, deren Zustandszahl aber oft prohibitiv groß ist. Zur Bewältigung dieser Zustandsexplosion kann man den STG in kleinere Teilnetze dekomponieren; unabhängig vom Problem der Zustandsexplosion führt dies auf eine Verbund-Lösung, die einer En-bloc-Lösung i.a. vorzuziehen ist. Die bisher bekannten Dekompositionsverfahren sind allerdings nur für sehr eingeschränkte Netzklassen anwendbar. Ziel des Projektes ist es, diese Verfahren zu verallgemeinern - speziell auch auf die sog. generalized STGs - und dabei besonderen Wert auf eine saubere formale Absicherung zu legen. Weiter sollen Qualitätskriterien zum Vergleich verschiedener Dekompositionen sowie an diesen Kriterien ausgerichtete Dekompositionsmethoden entwickelt werden, wobei die Wiederverwendung von Bausteinen ein wichtiger Gesichtspunkt ist. Schließlich sollen die Ergebnisse in ein CAD-Werkzeug integriert werden.