基于Petri网的ASIP体系结构形式化建模方法研究

• 作者: 朱赟 李曦 王志刚 龚育昌
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Petri网 流水线 变迁
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 人工智能与算法研究
• 页码范围: 1722-1725
• 页数: 4页
• 分类号: TP301
• 字数: 4385字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2006.09.029

摘要

根据SOC(System on Chip)的软硬件协同设计的需求,针对ASIP体系结构空间搜索(DSE,Design Space Exploration)问题,考虑复杂的流水线结构,提出了一种扩展的时序Petri网模型--PNP模型,该模型可以以简洁直观的形式精确有效地描述目标体系结构.文中给出了PNP模型的确切定义,并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李曦	中国科学技术大学计算机系	119	751	13.0	21.0
2	龚育昌	中国科学技术大学计算机系	80	691	16.0	22.0
3	王志刚	中国科学技术大学计算机系	54	708	16.0	24.0
4	朱赟	中国科学技术大学计算机系	6	49	4.0	6.0