Decomposition of signal transition graphs for the synthesis of asynchronous circuits

信号转换图的分解用于异步电路的综合

• 批准号: 5290343
• 负责人: Professor Dr. Walter Vogler
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5290343?language=en
• 关键词: Decomposition; signal; transition; graphs; synthesis

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.

我们知道，当前形势下的反应、反应、驱动和 EMV 特性异步驱动都处于启动状态。 Aufgrund der Nebenläufigkeit haben sich zu ihrer Spezifikation Signalflankengraphen（信号转换图，STG）如下。 Aus diesen werden zur Synthese endliche Automaten abgeleitet, deren Zustandszahl aber oft obt 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.沃尔祖齐亨岛请注意，Dekompositionsverfahren 和所有这些都适用于 Netzklassen 和 wendbar。 Ziel des Projektes ist es, diese Verfahren zu verallgemeinern - speziell auch auf die sog。广义的 STG - 和 dabei besonderen Wert auf eine saubere 正式 Absicherung zu 传说。 Weit sollen Qualitätskriterien zum Vergleich verschiedener Dekompositionen sowie an diesen Kriterien ausgerichtete Dekompositionsmethoden entwickelt weden,wobei die Wiederverwendung von Bausteinen ein wichtiger Gesichtspunkt ist. CAD-Werkzeug integriert werden 中的 Schließlich sollen die Ergebnisse。

项目成果

STG decomposition strategies in combination with unfolding

• DOI: 10.1007/s00236-009-0102-y
• 发表时间: 2009-09
• 期刊: Acta Informatica
• 影响因子: 0.6
• 作者: Victor Khomenko;Mark Schäfer;W. Vogler;Ralf Wollowski

DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous Controllers

DESIJ--实现复杂异步控制器的基于分解的综合

• DOI: 10.1109/acsd.2009.20
• 发表时间: 2009
• 期刊: 2009 Ninth International Conference on Application of Concurrency to System Design
• 作者: M. Schaefer;D. Wist;R. Wollowski
• 通讯作者: R. Wollowski