×
马克·谢弗；沃尔特·福格勒

STG分解的组件细化和CSC求解。 （英语） Zbl 1143.68055号

西奥。计算。科学。 388，编号1-3，243-266（2007）.
概要：STG（信号转换图）给出了一种基于Petri网的异步电路描述形式。为了克服电路综合中可能遇到的状态爆炸问题，Chu提出了一种非确定性STG分解算法，并由本文作者之一进行了改进。
在这里，我们研究了CSC求解——这对电路合成至关重要——如何与分解相结合。为此，使用内部信号增强了分解的正确性定义，并证明分层分解是正确的。基于此，表明速度相关CSC求解保持了正确性，并且可以与分解相结合。
此外，我们使用新的正确性定义给出了Carmona和Cortadella分解方法的第一个正确性证明。最后，我们比较了STG的三种不同实现关系：一种是从我们的正确性定义中得出的；Dill基于迹结构定义的一个；一个源于Carmona和Cortadella定义的I/O兼容性。

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

异步电路；射击类游戏；Petri网；分解，分解；实施关系

软件：

石化
PDF格式BibTeX公司 XML格式引用
\textit{M.Schaefer}和\textit{W.Vogler}，Theor。计算。科学。388，编号1--3，243--266（2007；Zbl 1143.68055）
全文： 内政部 链接

参考文献：

[1] Josep Carmona，《合成格式良好的并发规范的结构方法》，加泰罗尼亚政治大学博士论文，2003年；Josep Carmona，《合成格式良好的并发规范的结构方法》，加泰罗尼亚政治大学博士论文，2003年
[2] Carmona，J。；Cortadella，J.，反应系统的输入/输出兼容性，（计算机辅助设计中的形式方法。计算机辅助设计的形式方法，FMCAD 2002，波特兰，美国·Zbl 1019.68616号
[3] J.Carmona，J.Cortadella，异步控制电路合成的ILP模型，摘自：Proc。IEEE/ACM计算机辅助设计国际会议，2003年，第818-825页；J.Carmona，J.Cortadella，异步控制电路合成的ILP模型，摘自：Proc。IEEE/ACM计算机辅助设计国际会议，2003年，第818-825页
[4] T.-A.Chu，从图形理论规范合成自定时VLSI电路，收录于：IEEE Int.Conf.Computer Design ICCD’87，1987年，第220-223页；T.-A.Chu，从图形理论规范合成自定时VLSI电路，收录于：IEEE国际计算机设计会议ICCD’87，1987年，第220-223页
[5] 科尔塔德拉，J。；Kishinevsky，M。；Kondratyev，A。；拉瓦尼奥，L。；Yakovlev，A.，《Petrify:操作并发规范和异步控制器合成的工具》，IEICE信息与系统事务，E80-D，3，315-325（1997）
[6] 科尔塔德拉，J。；Kishinevsky，M。；Kondratyev，A。；拉瓦尼奥，L。；Yakovlev，A.，异步控制器和接口的逻辑综合（2002），Springer·Zbl 1013.68273号
[7] Dill，D.，《速度无关电路自动分层验证的跟踪理论》（1988年），麻省理工学院出版社：麻省理学学院出版社剑桥
[8] Ebergen，J.，《仲裁人：指定和分解异步通信组件的练习》，《计算机编程科学》，第18期，第223-245页（1992年）·Zbl 0769.68004号
[9] F.Garc-Vall，J.M.Colom，《信号转移图的结构分析》，载《系统工程中的Petri网》，1997年；F.Garc-Vall，J.M.Colom，《信号转移图的结构分析》，载于《系统工程中的Petri网》，1997年
[10] A.Kondratyev，M.Kishinevsky，A.Taubin，自定时设计中的合成方法。分解方法，见：IEEE Int.Conf.VLSI and CAD，1993，pp.324-327；A.Kondratyev，M.Kishinevsky，A.Taubin，自定时设计中的合成方法。分解方法，见：IEEE Int.Conf.VLSI and CAD，1993，pp.324-327
[11] V.Khomenko，M.Koutny，A.Yakovlev，基于Petri网展开和增量sat的异步电路逻辑综合，载于：M.Canada Kishinevsky，Ph.Darondeau（编辑），ACSD 2004年，2004年，第16-25页；V.Khomenko，M.Koutny，A.Yakovlev，基于Petri网展开和增量sat的异步电路逻辑综合，载于：M.Canada Kishinevsky，Ph.Darondeau（编辑），ACSD 2004年，2004年，第16-25页
[12] 穆勒，D.E。；Bartky，W.S.，《异步电路理论》（交换理论国际研讨会论文集，1959年），哈佛大学出版社，204-243·Zbl 0171.37902号
[13] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号
[14] M.Schaefer、W.Vogler、R.Wollowski、V.Khomenko，优化STG分解的策略。在：过程。2006年6月ACSD；M.Schaefer、W.Vogler、R.Wollowski、V.Khomenko，优化STG分解的策略。在：过程。2006年6月ACSD·Zbl 1183.68125号
[15] 福格勒，W。；Kangsah，B.，信号转换图的改进分解，基础信息学，76161-197（2006）·Zbl 1138.68472号
[16] 福格勒，W。；Wollowski，R.，《异步电路设计中的分解》，（Cortadella，J.等，《并发与硬件设计》，《并行与硬件设计，Lect.Notes Comp.Sci.，第2549卷（2002），Springer），152-190·Zbl 1029.68006号
[17] 雅科夫列夫。；Kishinevsky，M。；Kondratyev，A。；拉瓦尼奥，L。；Pietkiewicz-Koutny，M.，《关于具有或因果关系的异步电路行为模型》，《系统设计中的形式化方法》，第9期，第189-233页（1996年）
[18] T.Yoneda，H.Onda，C.Myers，基于分解的速度无关电路合成，收录于：ASYNC 2004年，2004年，第135-145页；T.Yoneda，H.Onda，C.Myers，基于分解的速度无关电路合成，收录于：ASYNC 2004年，2004年，第135-145页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。