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

作     者：黄源 钟艳如 古天龙 HUANG Yuan;ZHONG Yan-ru;GU Tian-long

作者机构：桂林电子科技大学计算机与控制学院广西桂林541004 

出 版 物：《桂林电子科技大学学报》 (Journal of Guilin University of Electronic Technology)

年 卷 期：2006年第26卷第6期

页      码：455-459页

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

主 题 词：SystemC 时间Petri网 软硬件协同设计 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-808X.2006.06.008

馆 藏 号：203340541...