CN119494299A 一种验证方法、装置、电子设备及可读存储介质 （北京开源芯片研究院）

于编译工具链和所述链接脚本对所述测试程序试程序，以从所述链接地址中加载所述第一文2在第一文件中配置测试项，并在测试程序的链接脚本中设置所述第一文件的链接地基于编译工具链和所述链接脚本对所述测试程序进行编译处理，在仿真系统中加载所述第一镜像文件，并驱动待测设计运根据所述链接地址在所述第一文件中将所述测试项修改为目标测试在仿真系统中驱动所述待测设计从所述链接地址中重新在所述测试程序的源代码发生变化后，基于所述编译工具链和根据所述链接地址对所述二进制文件和所述第一文件进行镜像打其中，所述第一文件在所述第一镜像文件中的打包位置配置模块，用于在第一文件中配置测试项，并在测试程序的链接编译模块，用于基于编译工具链和所述链接脚本对所述测试第一加载模块，用于在仿真系统中加载所述第一镜像文3修改模块，用于根据所述链接地址在所述第一文件中将所述测试项修改为目标测试第二加载模块，用于在仿真系统中驱动所述待测设计从4根据所述链接地址在所述第一文件中将所述测试项修改为目标测试所述第一镜像文件中的起始地址的偏移量，等于所述链接地址在所述链接脚本中的偏移5编译模块，用于基于编译工具链和所述链接脚本对所述测试程序进行编译处理，试项；所述第一镜像文件中的起始地址的偏移量，等于所述链接地址在所述链接脚本中的偏移6本发明实施例提供了一种验证方法，通过将测试项配置在一个专门的第一文件测试项的第一文件与测试程序的系统文件是独立的，当测试程序的通用代码发生变化时，象，而不用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互7所述仿真系统可以为硬件仿真平台Palladium、逻辑仿真工具VCS、现场可编程门阵列设计的RTL电路转换为位流（bitstream）文件，通过位流文件将待测设计烧录到FPGA芯片计从FPGA芯片的存储模块中读取第一镜像文件并解析，执行测试项对应的测试用例。在待测设计执行测试用例的过程中，可以通过硬件快照、中断等技术，记录待测设计的中间状8证第一文件在编译过程中不会被其他文件覆盖或占用。的二进制文件。需要说明的是，编译工具链用于将高级编程语言编写的程序转换为机器语言，使得计算机硬件可以直接执行。编译工具链中可以包括编译器（Compiler）、链接器中的预处理指令。件经过编译和汇编后会生成目标文件。链接器会处理这些目标文件之间的引用关系，比如（如stdio.h对应的库文件将库中的相关9步骤S12、在仿真系统中驱动所述待测设计从所述链接地址中重新加载所述第一像运行时就会执行memory_test这个测试；后面FPGA的脚本可以动态修改auto_run.cfg的所述第一镜像文件中的起始地址的偏移量，等于所述链接地址在所述链接脚本中的偏移一文件在所述第一镜像文件中的打包位置相对于所述二进制文件在所述第一镜像文件中二进制文件在第一镜像文件中的起始地址记为addressA，第一文件在第一镜像文件中的打包位置记为addressB，addressB与addressA满足以下关系：addressB=addressA+一文件在所述第一镜像文件中的打包位置相对于所述二进制文件在所述第一镜像文件中编译模块202，用于基于编译工具链和所述链接脚本对所述测试程序进行编译处试项；所述第一镜像文件中的起始地址的偏移量，等于所述链接地址在所述链接脚本中的偏移述可执行指令使所述处理器执行前述实施例[0075]所述处理器可以是CPU（CentralProcessingUnit，中央处理器通用处理器、DSP（DigitalSignalProcessor，数字信号处理器ASIC（ApplicationSpecific信息和指令的其他类型的动态存储设备，也可以是EEPROM（ElectricallyErasableProgrammableReadOnlyMemory，电可擦可编程只读存储器）、CD_ROM（CompactDisc[0082]这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理终端设备计算机或其他可编程终端