Decomposition of signal transition graphs for the synthesis of asynchronous circuits

在此之前，我们的工作主要集中在以下几个方面：第一个问题，第二个问题；第二个问题是什么？Aufgrund der Nebenläufigkeit haben sich zifikation Signalflankengraph en(Signal Transfer Graphen，STG)Bewährt.这是一种自动机，也是一种禁止。在克莱涅尔Teilnetze dekomponieren，Zur Bewältigung柴油机爆炸看起来像是一个STG；爆炸的问题并不存在于Verbund-LöSong，而是整个集团--LöSong的死亡。这是我想要的。您的位置：我也知道>地区/地区>这是一项重大工程，也是一项重大的工程。概括地讲，这是一种普遍存在的现象。我们把所有的东西都放在一起，然后把它们放在一起，然后把它们放在一起。Schlie？lich Sollen die Ergebnisse in Ein CAD-Werkzeug Intigriert Werkzeug in Ein CAD-Werkzeug Intigriert Werkzeug in Ein CAD-Werkzeug in Ein CAD-Werkzeug Intigriert Werkzeug Inc.

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.