| 摘要: |
| 提出一种基于扩展层次有色Petri网(EHCPN)模型创建SoC高层可执行规约的方法,给出了EHCPN的形式化定义.设计并实现了EHCPN建模与模拟环境:SoC-P/TMSE,环境能够有效支持SoC高层规约创建与模拟,如功能分析、性能评估和通信协议检查. |
| 关键词: 扩展层次有色Petri网 规约 系统芯片 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60403048, 60573173 (国家自然科学基金) |
|
| 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: |
| 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. |
| Key words: extended hierarchical colored Petri net specification system-on-chip |
