Functional Verification Of SpaceWire Firmware Based On UVM

SpaceWire is designed for aerospace.It can meet requirements of bus in bad space environment for stability,self-recovery and rate of communication.To research and applicate this bus,the equipment of SpaceWire is essential.Our lab designed a SpaceWire firmware in the past project to realize the SpaceWire interface,and the firmware has not been verified.This paper builds a testbench based on UVM to verify the firmware design.Firstly,this paper gives the verification requirements by analyzing the protocol and firmware design instructions,and lists the functional points that need to be verified of the SpaceWire firmware.According to the verification requirements and functional points,the verification scheme of SpaceWire firmware is designed,including scheme of verification platform construction,reference model design,stimulation,inspection and coverage collection.According to the verification scheme,this paper completes the design of validation platform structure and verification component.In order to improve the efficiency of verification testbench’s construction and make the verification files more standardized and easy to maintain,this paper first uses the Easier UVM coding generator to generate the framework of the testbench,and make some improvements and supplements to the framework,and finally completes the construction of the verification testbench.The verification platform generates stimulation transactions by virtual seqeunce and hierarchical sequence,inspect the design by direct sequence checking and reference model automatic checking,and collect the function coverage by sampling each interface’s transactions.Aiming to cover the functional points of SpaceWire firmware,this paper designs a lot of testcases.After simulation of all testcases,the record of the verification process and the results of the coverage are given.This paper builds a testbench based on UVM,and completes the verification work for SpaceWire firmware design.The result of the verification shows that the SpaceWire firmware design basically meets the design requirements,and finds a problem need to be corrected.The structure of the testbench,the way to realize the testbench and methods used during the verification process can be a good reference for other verification work.