Optimierung hochsprachen-spezifizierter asynchroner Controller mittels STG-Dekomposition (Kennwort: Optacon)

使用STG分解优化高级语言指定的异步控制器（密码：Optacon）

• 批准号: 187893023
• 负责人: Professor Dr. Walter Vogler
• 金额: --
• 依托单位: Institut für Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/187893023?language=en
• 关键词: Optimierung; hochsprachen; spezifizierter; asynchroner; Controller

Entwurfswerkzeuge zur Synthese asynchroner Schaltungen aus Hochsprachen- Spezifikationen sind inzwischen verfügbar. Sie schöpfen die Vorzüge asynchroner Technik gegenüber ihren synchronen Pendants – wie geringerer Energieverbrauch, günstigere EMV-Eigenschaften, hohe Performance, Modularität und Robustheit – mit unterschiedlichem Schwerpunkt aus. Die generierten Schaltungen sind allerdings ohne manuelles Zutun von Experten bislang noch nicht konkurrenzfähig. Zudem fehlt in vielen Fällen der formale Nachweis für das verlässliche Funktionieren der Synthesemethoden.Das beantragte Forschungsprojekt will einen Beitrag leisten zur Verbesserung der mit solchen Werkzeugen vollautomatisch erzielbaren Ergebnisse, indem es durch sog. STG-Dekomposition eine Logiksynthese des gesamten Control-Teils ermöglicht – was bislang aufgrund der Zustandsexplosion oft nicht möglich ist. Die Flexibilität der STG-Dekomposition eröffnet dabei einen umfangreichen Entwurfsspielraum. Die entwickelten Methoden werden formal abgesichert und zur Praxiserprobung in das bekannte industrienahe Balsa-Entwurfssystem integriert.

Entwurfswerkzeuge zur Synthese Schaltungen aus Hochsprachen- Spezifikationen sind inzwischen verfügbar. Sie schöpfen die Vorzüge Schüge Technik gegenüber ihren synchronen Pendants - wie geringerer Energieverbrauch，günstigere EMV-Eigenschaften，hohe Performance，Modularität und Robustheit - mit unterschooledlichem Schwerpunkt aus.一般的Schaltungen sind allerdings ohne manuelles Zutun von Experten bislang noch nicht kurrenzfähig.因此，在许多领域中，我们都在为合成方法的功能验证而努力。这一研究项目将使我们能够通过一个简单的方法来进行测试。STG-Dekomposition eine Logiksynthese des gesamten Control-Teils ermöglicht - was bislang aufgrund der Zustandsexplosion oftnicht möglich ist. STG-Dekomposition的可扩展性使其成为一个更好的Entwurfsspielraum。该方法的改进使韦尔登在工业上成为一个完整的巴尔萨-恩特伍夫斯系统。