星载解调器代码的验证

The Verification of Satellite Demodulator Code

专用集成电路(ASIC)在卫星通信系统的应用使得设计开发周期变短,为了保证可靠性则需要对代码进行充分的测试验证,这将耗用较多时间。为了解决这个问题,在有限的时间内对星上代码进行快速有效的验证,介绍了一种覆盖率引导的功能验证方法。采用该方法对星上解调器代码进行了验证,详细介绍了验证过程。测试结果表明,该方法可有效加速代码验证过程,保证可靠性。

The application of ASIC in satellite communication system brings a shorter design period. However comprehensive code verification costs more time to guarantee system reliability. To verify the satellite code in a short period,a fast and effective approach which combines functional verification and code coverage testing was introduced in this paper. The method was applied to a satellite demodulator code. This paper introduced in detail the procedure of the verification and analyzed the result. Test results indicate that the method could effectively shorten verification time and assure the reliability.