Research on FPGA Functional Reliability based on Petri Net

Abstract

Abstract Engineering reliability ground verification for space FPGA devices is one of the important aspects of space load digital system design. At present, there are three methods: code correctness verification, system functional test, and formal verification. Based on the Petri Net theory, this paper proposes a macroscopic and accurate description of the functional characteristics of FPGA engineering with the functional module as the granularity and the control variable as the core. On this basis, combined with the state-reachability graph theory, functional execution reliability is proposed. This evaluation method evaluates the degree of influence of the core control data error on the execution of the system function in a workflow and provides a new basis for the improvement of the protection method and the evaluation of the protective effect.