×

兹马思-数学第一资源

确定性和随机Petri网在SoC通信领域的应用实例研究。(英语) Zbl公司 1103.68650
摘要:本文提出了一种利用确定性和随机Petri网分析片上通信的方法。为了证明该方法的适用性,本文研究了两个典型的片上系统(SoC)通信冲突(如共享通信资源的竞争)的片上通信结构。本文介绍了一种最新的异构数字信号处理器和一个采用片上总线的设计实例。结果表明,该方法在计算量和实现时间上都能以较低的建模工作量获得足够的建模精度。
理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] M。Ajmone Marsan,G。Chiola,“具有确定性和指数分布触发时间的Petri网”,G。Rozenberg(Ed.)《Petri网的发展》,1986年,《计算机科学讲义》第266卷,Springer 1987年,第146-161页。
[2] 阿姆巴武装;http://www.arm.com/products/solutions/AMBAHomePage.html
[3] H。布鲁姆,H。费尔德ämper,T。G。Noll,“基于模型的异构片上系统设计空间的探索”,《VLSI信号处理杂志》第40卷,(1),2005年,第19-34页·Zbl公司 02225343·doi:10.1007/s11265-005-4936-4
[4] DSPNexpress;http://www.dspnexpress.de·Zbl公司 818.68116
[5] M。富兰克林,T。Wolf,“带基准参数化的网络处理器性能和设计模型”,《网络处理器设计:问题与实践》,第1卷,Morgan Kaufmann,2003年,第6章,第117-140页。
[6] IBM CoreConnect;http://www-03.ibm.com/chips/products/coreconnect
[7] L。Kleinrock,“排队系统-第一卷:理论”,约翰威利和儿子,1975年·Zbl公司 334.60045
[8] T。科格尔,M。多尔珀,A。Wieferink等,《片上互连网络体系结构探索的模块化仿真框架》,CODES+ISSS,2003年10月。
[9] K。拉希里,A。Raghunathan,S。Dey,“片上系统架构的流量性能特性评估”,Proc。VLSI设计,2001年1月,第29-35页。
[10] K。拉希里,A。Raghunathan,S。“片上通信体系结构设计的系统级性能分析”,IEEE Trans。集成电路与系统计算机辅助设计,2001年6月
[11] A。Ledeczi,J。戴维斯,S。尼玛,A。Agrawal,“嵌入式系统多粒度仿真建模方法”,2002年,http://millan.usc.edu/documents.html
[12] C。林德曼,“用确定性和随机Petri网进行性能建模”,约翰威利和儿子,柏林,1998年·Zbl公司 897.68012
[13] J。马德森,S。马哈德万,K。“多处理器SoC仿真的网络中心系统级模型”,高级SoC和NoC互连中心设计,J。Nurmi等人(编辑),Kluwer学术出版社,2004年。
[14] M。H。米克尔,“并行处理器的瞬态和稳态性能建模”,《应用数学建模》第22卷第7期,1998年7月,第533-543页。
[15] C。A。Petri,“与自动机通信”,波恩大学博士论文,1962年(德语)。
[16] Petri网工具;http://www.daimi.au.dk/PetriNets
[17] A。皮门特尔,L。赫茨伯格,P。利弗斯,P。范德沃尔夫,E。Deprettere,“用Artemis探索嵌入式系统架构”,IEEE Computer,第34卷,第11期,2001年11月,第57-63页。
[18] A。皮门特尔,F。特普斯特拉,S。波尔斯特拉,J。Coffland,“任务级并行嵌入式系统中任务内并行性的建模”,《特定领域处理器:系统、体系结构、建模与仿真》Marcel Dekker,Inc.,2003。
[19] 德州仪器;http://www.ti.com·Zbl公司 819.68013
[20] L。蒂勒,E。旺德勒,S。Chakraborty,“多处理器DSP的性能分析”,IEEE信号处理杂志,22(3),2005年5月,第38-46页。·doi:10.1109/MSP.2005.1425896
[21] 时间网;http://pdv.cs.tu-berlin.de/\(\sim\)时光网/
[22] VCC、Cadence虚拟元件协同设计;http://www.cadence.com/products/vcc.html
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。