×

STG分解策略与展开相结合。 (英语) Zbl 1183.68125号

概要:为了合成高效的异步电路,必须处理状态空间爆炸问题。为了缓解这个问题,可以将STG分解为更小的组件。本文讨论了Vogler和Wollowski的分解方法,并介绍了几种有效实现方法。此外,该方法还与另一种基于Petri网展开的缓解状态空间爆炸的方法相结合。通过基准示例对所开发的算法进行了比较,实验结果表明,与其他现有方法相比,在内存使用和运行时方面有了显著的改进。

MSC公司:

68M99型 计算机系统组织
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

石化
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 伯克,K.V.:握手电路:VLSI编程的异步架构。摘自:剑桥国际并行计算丛书,第5卷。剑桥大学出版社,剑桥(1993)·Zbl 0875.68551号
[2] Berthelot,G.:网络的变换和分解。在:Brauer,W.等人,(编辑)Petri网:中心模型及其属性。计算机科学讲师笔记,第254卷,第359-376页。柏林施普林格(1987)
[3] Bryant R.E.:布尔函数操作的基于图形的算法。IEEE传输。计算。C-35-8677-691(1986)·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[4] Carmona,J.:合成格式良好的并发规范的结构方法。加泰罗尼亚政治大学博士论文(2003年)
[5] Carmona,J.,Cortadella,J.:异步控制电路综合的ILP模型。摘自:IEEE/ACM计算机辅助设计国际会议论文集,第818–825页(2003)
[6] Carmona,J.,Cortadella,J.:大型异步控制器的状态编码。摘自:DAC’06 IEEE会议记录,第939–944页(2006)
[7] Chu,T.-A.:从图形理论规范合成自定时VLSI电路。麻省理工学院博士论文(1987)
[8] Cortadella J.、Kishinevsky M.、Kondratyev A.、Lavagno L.、Yakovlev A.:石化:一种操作并发规范和异步控制器合成的工具。IEICE运输。信息系统。E80-D 3,315–325(1997)
[9] Cortadella J.、Kishinevsky M.、Kondratyev A.、Lavagno L.、Yakovlev A:异步控制器和接口的逻辑综合。施普林格,柏林(2000)·Zbl 1013.68273号
[10] Edwards D.,Bardsley A.:Balsa:一种异步硬件合成语言。计算。J.45(1),12-18(2002)·Zbl 1002.68522号 ·doi:10.1093/comjnl/45.1.12
[11] Esparza J.,Römer S.,Vogler W.:麦克米兰展开算法的改进。FMSD 20(3),285–310(2002年)·Zbl 1017.68085号
[12] 国际半导体技术路线图:设计。(2005). 网址:www.itrs.net/Links/2005ITRS/Design2005.pdf
[13] Khomenko,V.:基于petri网展开前缀的模型检查。纽卡斯尔大学计算科学学院博士论文(2003年)·Zbl 1072.68072号
[14] Khomenko,V.:使用STG展开有效地自动解决编码冲突。收录:Basten,T.,Shukla,S.(编辑)ACSD’07,IEEE,第137-146页(2007)
[15] Khomenko,V.,Schaefer,M.:结合分解和去折叠进行STG合成。收录于:ATPN'07:Petri网和其他并发模型的应用和理论。计算机科学讲师笔记,第4024卷,第223-243页(2007年)·Zbl 1226.68058号
[16] Khomenko V.,Koutny M.,Yakovlev A.:使用SAT.Fundam检测STG展开中的状态编码冲突。通知。62(2), 1–21 (2004) ·Zbl 1082.68074号
[17] Khomenko V.,Koutny M.,Yakovlev A.:基于Petri网展开和增量SAT的异步电路逻辑综合。Fundam。通知。70(1–2), 49–73 (2006) ·Zbl 1095.68065号
[18] Murata T.:Petri网:属性、分析和应用。程序。IEEE 77(4),541-580(1989)·数字对象标识代码:10.1109/5.24143
[19] Schaefer,M.:DesiJ——一种分解工具。《2007-11年技术报告》,奥格斯堡大学(2007)。http://www.informatik.uni-augsburg.de/de/forschung/reports/
[20] Schaefer,M.,Vogler,W.:STG分解的组件细化和CSC求解。收录于:Vladimiro,S.(编辑)FOSSACS’05,《计算机科学讲师笔记》,第3441卷,第348-363页。施普林格,纽约(2005)·Zbl 1118.68576号
[21] Schaefer,M.,Vogler,W.,Jančar,P.:确定标记图的STG分解。收录于:Ciardo,G.,Darondeau,P.(eds.)ATPN'05,《计算机科学讲师笔记》,第3536卷,第365-384页。斯普林格(2005)·Zbl 1128.68385号
[22] Schaefer,M.、Vogler,W.、Wollowski,R.、Khomenko,V.:优化STG分解的策略。收录于:ACSD’06,第123–132页(2006)·Zbl 1183.68125号
[23] Schaefer,M.,Vogler,W.,Wist,D.,Wollowski,R.:通过内部沟通避免不可减少的csc冲突。收录于:ACSD'08,第3-12页(2008)·Zbl 1214.68253号
[24] Semenov,A.:使用petri网展开的异步控制电路的验证和综合。纽卡斯尔大学计算科学学院博士论文(1997年)
[25] 瓦尔玛丽:州爆炸问题。摘自:《Petri网讲座I:基本模型》,第1491卷,第429-528页。施普林格,纽约(1998年)
[26] Vogler W.,Kangsah B.:改进的信号转换图分解。芬丹。通知。76, 161–197 (2006) ·Zbl 1138.68472号
[27] Vogler,W.,Wollowski,R.:异步电路设计中的分解。收录于:Cortadella,J.等人,(编辑)《并行与硬件设计》,计算机科学讲义,第2549卷,第152-190页。柏林施普林格出版社(2002年)·Zbl 1029.68006号
[28] Yoneda,T.、Onda,H.、Myers,C.:基于分解的速度无关电路合成。摘自:ASYNC’04,IEEE,第135–145页(2004)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。