基于Petri网的FPGA软件缺陷分析与改进设计

摘要：

为了在 FPGA软件开发过程的早期发现设计缺陷并进行修改，以降低设计成本，提出了应用 Petri网技术进行缺陷分析的方法。对 FPGA软件开发过程中形成的工作流程和实现流程进行了分析，并在发现缺陷的基础上进行了改进设计。在某引信安全与起爆控制系统的设计过程中应用了该方法，结果表明：该方法能够发现并准确定位软件缺陷，而且在 Petri网模型基础上能够迅速地进行软件改进设计。

关键词：FPGA、Petri网、缺陷分析、软件设计

分类号：TP306+.3(计算技术、计算机技术)

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

页数：共5页

页码：90-94