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

系 统 仿 真 学 报 Vol. 17 增刊 204 JOURNAL OF SYSTEM SIMULATION Oct. 2005 基于Petri 网的同步DRAM 控制器的建模与分析 刘士喜 方贤文 许志才 安徽理工大学数理系, 淮南 232001 摘 要 Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具 而 ARM 嵌入式处理器 是一种高性能 低功耗的RISC 芯片 同步动态RAM 控制器状态间的相互转换较为复杂,且通过状 态图只能描述它的静态特征 难以分析其动态特性 Petri 网能够直观地描述非确定性 以图形化 的方式表示及运用数学工具模拟与分析复杂系统 文章正是利用Petri 网的这些特性来描述和分析 ARM 体系结构中同步DRAM 控制器的状态和转换 关键词 Petri 网; ARM 嵌入式处理器; 同步DRAM; 增广Petri 网 文章编号 1004-731X (2005) S-204-03 中图分类号 TP302.1 文献标识码 A Modeling and analyzing of SDRAM controller in ARM systematic architecture Based on petri nets LIU Shi-xi, FANG Xian-wen, XU Zhi-cai (Maths and physics department,Anhui University Of Science and Technology, Huainan 232001, China) Abstract: The Petri net theory is gradually becoming an indispensable tool on designing and analyzing complicated system. ARM flushbonding processor is a kind of high performance and low power dissipation RISC chip. The state transition of SDRAM is very complicated. It just describes the static traits by state graph, and it is difficult to analyze dynamic traits. The Petri net can describe nondeterminism intuitionally and show you by graph. It can simulate and analyze complex system through mathematics. The author has taken advantage of these properties of the Petri net to depict and analyze the state and transition of SDRAM controller in ARM systematic architecture. Key words: Petri net; ARM flushbonding processor; SDRAM; extended Petri net 引 言1