%0 Journal Article
%T FPGA组合逻辑程序的Petri网建模方法
%A 陈珑
%A 黄颖坤
%A 罗继亮
%J 华侨大学学报(自然科学版)
%P 29-34
%D 2015
%R 10.11830/ISSN.1000-5013.2015.01.0029
%X 针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.
%K 现场可编程门阵列
%K 组合逻辑
%K Petri网
%K 建模方法
%K 状态可达图
%U http://www.hdxb.hqu.edu.cn/oa/DArticle.aspx?type=view&id=201501006