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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
