首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于扩展层次有色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
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号