一种集成电路的验证方法、装置、计算机设备及存储介质制造方法及图纸

本公开提供了一种集成电路的验证方法及装置，其中该方法包括：基于自动化脚本，执行下述步骤：获取待测试集成电路的寄存器级转换电路RTL代码、以及配置文件；基于所述配置文件中的配置信息对仿真器进行配置，在所述仿真器中生成目标验证环境；在所述目标验证环境中，基于所述RTL代码，对所述待测试集成电路进行仿真，得到所述待测试集成电路的仿真结果；基于所述仿真结果、以及与所述待测试集成电路对应的真实结果，得到所述待测试集成电路的验证结果。本公开实施例通过自动化脚本自动生成目标验证环境，并利用目标验证环境实现对集成电路的验证，因而能够提升验证效率。因而能够提升验证效率。因而能够提升验证效率。

【技术实现步骤摘要】
一种集成电路的验证方法、装置、计算机设备及存储介质


[0001]本公开涉及集成电路设计
，具体而言，涉及一种集成电路的验证方法、装置、计算机设备及存储介质。

技术介绍

[0002]集成电路的设计步骤通常包括：生成行为级描述、生成寄存器转换级电路(Register Transfer Level，RTL)描述、将行为级描述或者RTL级描述转换为门级网表、以及基于门级网表生成物理版图(集成电路)。同时，在设计集成电路的过程中，为了保证所生成的集成电路性能，通常需要在生成RTL描述后，对集成电路进行验证。
[0003]而随着集成电路行业的快速发展，带来集成电路技术飞速迭代名，同时也为芯片设计带来越来越多的验证加速需求。

技术实现思路

[0004]本公开实施例至少提供一种集成电路的验证方法、装置、计算机设备及存储介质。
[0005]第一方面，本公开实施例提供了一种集成电路的验证方法，包括：获取待测试集成电路的寄存器级转换电路RTL代码、以及配置文件；基于所述配置文件中的配置信息对仿真器进行配置，在所述仿真器中生成目标本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种集成电路的验证方法，其特征在于，包括：获取待测试集成电路的寄存器级转换电路RTL代码、以及配置文件；基于所述配置文件中的配置信息对仿真器进行配置，在所述仿真器中生成目标验证环境；在所述目标验证环境中，基于所述RTL代码，对所述待测试集成电路进行仿真，得到所述待测试集成电路的仿真结果；基于所述仿真结果、以及与所述待测试集成电路对应的真实结果，得到所述待测试集成电路的验证结果。2.根据权利要求1所述的方法，其特征在于，所述配置文件包括下述至少一种：寄存器配置文件、初始化数据文件、以及指令文件。3.根据权利要求2所述的方法，其特征在于，获取所述待测试集成电路的配置文件，包括：获取所述待测试集成电路的原始配置文件；对所述原始配置文件进行格式转换，得到所述预设仿真器能够识别的所述配置文件。4.根据权利要求3所述的方法，其特征在于，所述配置文件包括：寄存器配置文件；所述配置信息包括：寄存器的寄存器值、以及寄存器地址；所述对所述原始配置文件进行格式转换，得到所述预设仿真器能够识别的所述配置文件，包括：从原始寄存器配置文件中，依次读取多个寄存器名称中的每个寄存器名称；针对读取到的各寄存器名称，将与该寄存器名称对应的寄存器值，与该寄存器名称对应的寄存器地址进行配对，生成所述寄存器值、与寄存器地址的匹配关系信息；基于多个所述寄存器分别对应的匹配关系信息，生成所述寄存器配置文件。5.根据权利要求4所述的方法，其特征在于，所述基于所述配置文件中的配置信息对仿真器进行配置，包括：将所述寄存器配置文件后门读写到预设的第一存储空间；控制微控制器从所述第一存储空间读取所述匹配关系信息；将读取到的所述匹配关系信息中的寄存器地址确定为虚拟寄存器的地址，并将所述寄存器值存储至与所述虚拟寄存器对应的存储空间中。6.根据权利要求3
‑
5任一项所述的方法，其特征在于，所述配置文件包括：与所述待测试集成电路中的多个功能块分别对应的初始化数据文件；所述配置信息包括：对应功能块的激励数据；所述对所述原始配置文件进行格式转换，得到所述预设仿真器能够识别的所述配置文件，包括：根据所述待测试集成电路中的多个所述功能块分别对应的激励数据、以及所述激励数据在对应功能块中的交织顺序，对原始初始化数据文件进行切分，得到与多个所述功能块分别对应的初始化数据文件。7.根据权利要求6所述的方法，其特征在于，所述基于所述配置文件中的配置信息对仿真器进行配置，包括：将所述初始化数据文件分别后门读写至与各个初始化数据文件分别对应的第二存储
空间，以及对所述初始化数据文件进行解析，得到所述初始化数据文件...

【专利技术属性】
技术研发人员：刘才齐，冷祥纶，李益全，李林鹏，叶婧茹，
申请(专利权)人：上海阵量智能科技有限公司，
类型：发明
国别省市：