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

钟辉捷; 雷航

首页> 中文期刊> 《计算机应用》 >基于Petri网和systemC的SoC系统描述

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机应用》 |2007年第2期|397-399|共3页
作者
钟辉捷; 雷航;
展开▼
作者单位

电子科技大学;

计算机科学与工程学院;

四川;

成都;

610054;

电子科技大学;

计算机科学与工程学院;

四川;

成都;

610054;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
Petri网; systemC; 片上系统; 系统级描述;

相似文献

中文文献
外文文献
专利

1. 系统级描述语言SystemC到时间Petri网的转换技术 [J] . 黄源 ,钟艳如 ,古天龙 . 桂林电子科技大学学报 . 2006,第006期
2. SoC系统描述与SystemC [J] . 苏舟 . 电子设计应用 . 2004,第008期
3. 基于SystemC系统级的语音识别系统的建模及性能分析 [J] . 刘金伟 ,黄樟钦 ,侯义斌 . 北京工业大学学报 . 2010,第001期
4. 基于SystemC的SoC系统级设计方法 [J] . 刘金伟 ,方林波 ,黄樟钦 . 佳木斯大学学报（自然科学版） . 2006,第003期
5. 基于SystemC的Cache一致性协议描述与验证 [J] . 张娅 . 数字技术与应用 . 2013,第005期
6. <'1>SystemC及其对片内测试的描述 [C] . 陈林 ,黄建文 . 第二届中国测试学术会议 . 2002
7. 基于SystemC的动态可重构SoC系统级建模框架研究 [A] . 王鹏 . 2011

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

摘要

著录项

相似文献

相关主题

期刊订阅