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