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