系统级描述语言SystemC到时间Petri网的转换技术

• 作者: 古天龙 钟艳如 黄源
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: SystemC时间Petri网 软硬件协同设计
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 455-459
• 页数: 5页
• 分类号: TP391
• 字数: 3434字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2006.06.008

摘要

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄源	桂林电子科技大学计算机与控制学院	7	32	3.0	5.0
2	钟艳如	桂林电子科技大学计算机与控制学院	96	668	13.0	21.0
3	古天龙	桂林电子科技大学计算机与控制学院	207	1546	18.0	30.0