| 基于扩展层次有色Petri网创建SoC高层可执行规约 |
| |
| 引用本文： | 余金山,李 暾,张耀鸿,谭庆平.基于扩展层次有色Petri网创建SoC高层可执行规约[J].软件学报,2006,17(Z1):148-153. |
| |
| 作者姓名： | 余金山 李 暾 张耀鸿 谭庆平 |
| |
| 作者单位： | 国防科学技术大学 计算机学院，湖南 长沙 410073;国防科学技术大学 计算机学院，湖南 长沙 410073;国防科学技术大学 信息系统与管理学院，湖南 长沙 410073;国防科学技术大学 计算机学院，湖南 长沙 410073 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60403048, 60573173 (国家自然科学基金) |
| |
| 摘 要： | 提出一种基于扩展层次有色Petri网(EHCPN)模型创建SoC高层可执行规约的方法,给出了EHCPN的形式化定义.设计并实现了EHCPN建模与模拟环境:SoC-P/TMSE,环境能够有效支持SoC高层规约创建与模拟,如功能分析、性能评估和通信协议检查.
|
| 关 键 词： | 扩展层次有色Petri网 规约 系统芯片 |
| 收稿时间： | 2006/4/15 0:00:00 |
| 修稿时间： | 2006/9/11 0:00:00 |
Creating System-on-Chip High-Level Executable Specification Based on Extended Hierarchical Colored Petri Net |
| |
| YU Jin-Shan,LI Tun,ZHANG Yao-Hong and TAN Qing-Ping.Creating System-on-Chip High-Level Executable Specification Based on Extended Hierarchical Colored Petri Net[J].Journal of Software,2006,17(Z1):148-153. |
| |
| Authors: | YU Jin-Shan LI Tun ZHANG Yao-Hong and TAN Qing-Ping |
| |
| Abstract: | This paper presents a method for creating system-on-chip high-level executable specification based on extended colored Petri net (EHCPN). Based on EHCPN model, a modeling and simulation integrated environment: SoC-P/TMSE is implemented, which can efficiently support for creating high-level specification and executing analysis for system-on-chip, i.e., function analysis, performance evaluation and communication protocol verification. |
| |
| Keywords: | extended hierarchical colored Petri net specification system-on-chip |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
