基于Petri网和systemC的SoC系统描述

摘要：

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷,将Petri网与systemC相结合来进行系统级建模.通过分析Petri网和systemC的相似点,建立Petri网和systemC的映射关系,以便于将Petri网描述的系统模型转化为systemC代码.同时,使用层次建模的方法防止状态爆炸.通过以上方式建立系统级模型,描述片上系统(SoC)嵌入式系统软硬件状态,作为可执行的系统级描述.

关键词：Petri网、systemC、片上系统、系统级描述

所属期刊栏目：27

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

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

页数：共3页

页码：397-399