The Radiation-hardening Design And Verification Of CAN Bus IP

The on-board data bus is the data transfer hinge among the satellite devices. CAN bus which is one of the on-board bus, has been used widely in the satellites in China. According to the space application requirements, the paper is focus on the design of the radiation-hardening CAN IP core.According to the simulation results on the earth and the distribution of the heavy ion and proton in the space orbit, the paper predicts the rate of single-event upset in the semiconductor. This will have significance of selecting semiconductor device correctly and improving the reliability and life. It also be a reference of the ability of resisting the SEU in the semiconductor.By deeply studying of CAN bus protocol and CAN IP core provided by some company, a reliable radiation-hardening CAN IP core is designed, which is satisfied for the requirement of function. The IP core can be both used alone and as a part of SoC by APB interface. TMR and EDAC techniques are used in SEU-sensitive modules such as registers, memories and FSM in order to solve SEU-induced errors in space environment. The validity of radiation-hardening design is verified in fault injection technique.To verify the function of radiation-hardening CAN IP core, the paper uses SystemVerilog Assertion Language and Formal Verification tool Magellan to ensure the correct function and high efficiency. By using this method, the coverage of function and code can reach 96%. Comparing with classic simulation, the method has more integrity in functional property. Using the high-efficient assertion mechanism will not has to write large numbers of testcases. It will reduce the period of verification and improve the reliability of electronic design in space.