10.11830/ISSN.1000-5013.2015.01.0029
FPGA 组合逻辑程序的 Petri 网建模方法
针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通 Petri 网建模方法。首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通 Petri 网结构;然后,根据 Petri 网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述 FPGA 组合逻辑系统运行过程。研究结果表明:该 Petri 网能够准确地描述变量间的逻辑关系,提出的方法可以为 FPGA 组合逻辑程序的形式化设计和验证提供建模依据。
现场可编程门阵列、组合逻辑、Petri 网、建模方法、状态可达图
TP273.5(自动化技术及设备)
福建省自然科学基金资助项目2014J01241;福建省高等学校新世纪优秀人才计划11FJRC01;福建省高校杰出青年科研人才培育计划项目JA10004
2015-03-03(万方平台首次上网日期,不代表论文的发表时间)
共6页
29-34