华侨大学学报（自然科学版）Issue(1)：29-34,6.DOI:10.11830/ISSN.1000-5013.2015.01.0029
FPGA 组合逻辑程序的 Petri 网建模方法
Modeling Method for FPGA Combinational Logic Program Based on Petri Net
摘要
Abstract
In the view of field-programmable gate array (FPGA)combinational logic program,this research proposed an ordinary Petri net modeling method.First,a state variable is represented by a pair of places,while a logical operation is described by a transition.Consequently,a system program can be modeled by a common Petri net.Then,based on the dynamic analysis capability of Petri net,the computing method of system state reachable graph is given,and achieved the equivalence description of operational process between state reachable graph and FPGA combinational logic system.The results show that the Petri net can accurately describe the logic of the relationship between variables.The proposed meth-od in this paper can be used for the formal design and verification of FPGA combinational logic program.关键词
现场可编程门阵列/组合逻辑/Petri 网/建模方法/状态可达图Key words
field-programmable gate array/combinational logic/Petri net/modeling method/state reachable graph分类
信息技术与安全科学引用本文复制引用
陈珑,黄颖坤,罗继亮..FPGA 组合逻辑程序的 Petri 网建模方法[J].华侨大学学报（自然科学版）,2015,(1):29-34,6.基金项目
福建省自然科学基金资助项目（2014J01241）；福建省高等学校新世纪优秀人才计划（11FJRC01）；福建省高校杰出青年科研人才培育计划项目 （）
