FPGA 组合逻辑程序的 Petri 网建模方法

摘要：

针对现场可编程门阵列（FPGA）组合逻辑程序，提出其普通 Petri 网建模方法。首先，将状态变量描述为库所对，程序中的逻辑运算描述为变迁，从而将系统程序转换为一个普通 Petri 网结构；然后，根据 Petri 网的动态分析性能，给出系统状态可达图的计算方法，实现了状态可达图等价描述 FPGA 组合逻辑系统运行过程。研究结果表明：该 Petri 网能够准确地描述变量间的逻辑关系，提出的方法可以为 FPGA 组合逻辑程序的形式化设计和验证提供建模依据。

关键词：现场可编程门阵列、组合逻辑、Petri 网、建模方法、状态可达图

分类号：TP273.5(自动化技术及设备)

资助基金：福建省自然科学基金资助项目2014J01241；福建省高等学校新世纪优秀人才计划11FJRC01；福建省高校杰出青年科研人才培育计划项目JA10004

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

页数：共6页

页码：29-34