基于Petri网的同步DRAM控制器的建模与分析

摘要：

Petri网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统.文章正是利用Petri网的这些特性来描述和分析ARM体系结构中同步DRAM控制器的状态和转换。

关键词： Petri网 ARM嵌入式处理器 同步DRAM 增广Petri网 状态图

作者: 刘士喜 方贤文 许志才

作者单位: 安徽理工大学数理系,淮南,232001

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 204-206

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）