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

摘要：

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

关键词：SystemC时间Petri网、软硬件协同设计

所属期刊栏目：26

分类号：TP391(计算技术、计算机技术)

在线出版日期：2007-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：455-459