###
DOI:
Journal of Software:2006.17(zk):148-153

基于扩展层次有色Petri网创建SoC高层可执行规约
余金山,李暾,张耀鸿,谭庆平
(国防科学技术大学 计算机学院,湖南 长沙 410073;国防科学技术大学 信息系统与管理学院,湖南 长沙 410073)
Creating System-on-Chip High-Level Executable Specification Based on Extended Hierarchical Colored Petri Net
YU Jin-Shan,LI Tun,ZHANG Yao-Hong,TAN Qing-Ping
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2337   Download 2565
Received:April 15, 2006    Revised:September 11, 2006
> 中文摘要: 提出一种基于扩展层次有色Petri网(EHCPN)模型创建SoC高层可执行规约的方法,给出了EHCPN的形式化定义.设计并实现了EHCPN建模与模拟环境:SoC-P/TMSE,环境能够有效支持SoC高层规约创建与模拟,如功能分析、性能评估和通信协议检查.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60403048, 60573173 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.60403048, 60573173 (国家自然科学基金)
Foundation items:
Reference text:

余金山,李 暾,张耀鸿,谭庆平.基于扩展层次有色Petri网创建SoC高层可执行规约.软件学报,2006,17(zk):148-153

YU Jin-Shan,LI Tun,ZHANG Yao-Hong,TAN Qing-Ping.Creating System-on-Chip High-Level Executable Specification Based on Extended Hierarchical Colored Petri Net.Journal of Software,2006,17(zk):148-153