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

• 作者: 罗继亮 陈珑 黄颖坤
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 现场可编程门阵列 组合逻辑 Petri 网 建模方法 状态可达图
• 年，卷（期）: 2015,（1）
• 页码范围: 29-34
• 页数: 6页
• 分类号: TP273.5
• 语种: 中文
• DOI: 10.11830/ISSN.1000-5013.2015.01.0029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗继亮	华侨大学信息科学与工程学院	29	77	5.0	7.0
2	黄颖坤	华侨大学信息科学与工程学院	2	2	1.0	1.0
3	陈珑	华侨大学信息科学与工程学院	1	1	1.0	1.0