| 系统级描述语言SystemC到时间Petri网的转换技术 |
| |
| 引用本文： | 黄源,钟艳如,古天龙. 系统级描述语言SystemC到时间Petri网的转换技术[J]. 桂林电子科技大学学报, 2006, 26(6): 455-459 |
| |
| 作者姓名： | 黄源 钟艳如 古天龙 |
| |
| 作者单位： | 桂林电子科技大学,计算机与控制学院,广西,桂林,541004;桂林电子科技大学,计算机与控制学院,广西,桂林,541004;桂林电子科技大学,计算机与控制学院,广西,桂林,541004 |
| |
| 摘 要： | SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.
|
| 关 键 词： | SystemC时间Petri网 软硬件协同设计 |
| 文章编号： | 1673-808X（2006）06-0455-05 |
| 收稿时间： | 2006-10-13 |
| 修稿时间： | 2006-10-13 |
Research on translation method from system level description language SystemC to timed Petri net |
| |
| HUANG Yuan,ZHONG Yan-ru,GU Tian-long. Research on translation method from system level description language SystemC to timed Petri net[J]. Journal of Guilin University of Electronic Technology, 2006, 26(6): 455-459 |
| |
| Authors: | HUANG Yuan ZHONG Yan-ru GU Tian-long |
| |
| Affiliation: | School of Computer and Control, Guilin University of Electronic Technology, Guilin,541004,China |
| |
| Abstract: | |
| |
| Keywords: | SystemC timed Petri net hardware/software co-design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
