Decomposition of signal transition graphs for the synthesis of asynchronous circuits

Wegen ihrer hohen, der jeweiligen Situation angepaßten reaktionsgeswindikeit, der geringen Ruheverlustleistung, der geringen EMV-Eigenschaften genießen asynchrone Schaltungen derzeit besonere Aufmerksamkeit。aufgrunder Nebenläufigkeit haben sich zu ihrer spezifiation Signalflankengraphen（信号转换图，STGs） bewährt。我们的目标是合成和自动化，我们的目标是实现自动化。Zur Bewältigung dieser zustanderexplosion kann man den STG in kleinere Teilnetze dekomponieren；unabhängig vom问题der zustandexplosive f<s:1> hrt dies aufine Verbund-Lösung, die einer En-bloc-Lösung i.a. vorzuziehen ist。Die bisher bekannten decompositionsverfahren sind allerdings nur r sehr eingeschränkte Netzklassen and wendbar。Ziel des Projektes istes, diese Verfahren zu verallgemeinern - - - - - - - - - - - - - - - - - - - - - - - - -广义STGs - and dabei - sonderen Wert aufine saubere formale Absicherung - legen。Weiter sollen Qualitätskriterien zum Vergleich verschiedener Dekompositionen sowerden和diesen kriteren ausgerichtete Dekompositionsmethoden entwickelelwerden， wobei die Wiederverwendung von bausteen weichtiger Gesichtspunkt ist。schließ ßlich sollen die Ergebnisse in ein CAD-Werkzeug integreert werden。

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.