引言
随着现场可编程门阵列（FPGA）技术在高性能计算、航空航天、通信系统等领域的广泛应用，FPGA软件的测试验证成为确保其功能正确性和性能可靠性的关键环节[1]。然而，由于FPGA设计的复杂性和知识产权核（IP核）的封闭性，传统的动态仿真测试方法往往难以全面覆盖所有潜在问题，尤其是在黑盒测试环境下[2]。因此，本文提出了一种基于代码审查的FPGA软件黑盒测试方法，深入分析源代码和IP核的配置项，提高黑盒测试的精度和效率。
本文首先概述了FPGA软件测试验证技术的现状与挑战，特别是黑盒测试在FPGA领域的应用局限。随后，介绍了基于代码审查的黑盒测试方法的基本原理和框架，主要包括规则检查法和配置项检查法两种关键技术手段。在此基础上，本文通过两个具体案例——PLL IP核复位信号缺失问题和RS422接口LVDS原语终端阻抗匹配设置错误问题——展示了该方法在FPGA软件测试中的实际应用效果。通过代码审查，成功识别了潜在的问题点，并提出了相应的解决方案，验证了该方法在提高软件功能正确性和性能可靠性方面的有效性。
案例分析表明，基于代码审查的FPGA软件黑盒测试方法能够有效地弥补传统黑盒测试的不足，提高测试的全面性和深度。该方法不仅适用于IP核的验证，还可扩展至其他复杂模块和系统的测试，为FPGA软件的全面质量保障提供了新的思路和技术支持。
本文详细内容请下载：
https://www.chinaaet.com/resource/share/2000007038
作者信息：
宋小敬，刘诗宇，苏明月，李东方
（北京计算机技术及应用研究所，北京 100854）
