验证环境搭建方法、装置、验证系统和芯片验证方法与流程

本发明涉及芯片验证领域，尤其涉及一种验证环境搭建方法、装置、验证系统、芯片验证方法、装置和存储介质。

背景技术：

1、随着集成电路的规模逐渐扩大，对于集成电路验证的需求也越来越高，如何做到验证的高效是现有技术亟待解决的问题。一般而言，集成电路验证通常需要验证环境进行，大多数的验证环境都会采用自动脚本来搭建。较为常见的自动化搭建方法一般根据环境配置建立信息文档，根据工具生成运行eda(e lectron ic des ign automat ion，电子设计自动化)工具的脚本，该脚本包含运行所需要调用的eda工具并存放在脚本文件夹里；脚本会创建出agent(代理)、dr iver(驱动)、mon itor(监视)等验证组件，并存放在验证组件文件夹中。传统的验证环境自动化搭建方法虽然能够实现对集成电路的验证，但是没有统一的文件配置方式，对于一些通用验证ip(i nte l lectua l property，知识产权)接口的添加和调试需要消耗额外的时间，环境的维护过程也存在不同使用者间文件结构的差异，降低了验证环境的验证效率。

技术实现思路

1、本发明实施例的目的是提供一种验证环境搭建方法、装置、验证系统、芯片验证方法、装置和存储介质，能有效提高集成电路的验证效率。

2、为了实现上述目的，本发明第一方面实施例提供了一种验证环境搭建方法，所述验证环境包括设有若干个代理器的环境层，所述代理器用于对待测设计进行功能验证；所述方法包括：

3、获取所述待测设计的环境配置信息和uvm接口信息；

4、根据所述环境配置信息和所述uvm接口信息创建工程目录；

5、其中，所述工程目录包括存储环境文件和环境运行脚本的第一文件目录以及存储所述代理器的验证组件的第二文件目录，所述第一文件目录和所述第二文件目录并列于所述工程目录的同一层级；所述环境文件包括用于搭建所述环境层的程序，所述环境运行脚本用于运行所述验证环境以实现对所述待测设计的功能验证。

6、本实施例在验证环境的搭建过程中，提供一种通用的文件配置方式，基于待测设计的环境配置信息和uvm接口信息来创建工程目录，由于环境创建过程中，文件内容已知，所以可以通过脚本集成验证接口ip，减少在接口集成上花费的时间，以及统一配置的文件存储方式，在验证待测设计时，对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时也可以方便使用者快速查找文件，以及对于存在多人协作的情况，统一目录结构和脚本可以方便使用者快速交接，提高通用性和验证效率。

7、在第一方面的一种可能的实现方式中，所述代理器包括通用代理器和自定义代理器，所述通用代理器和所述自定义代理器的验证组件存放在所述第二文件目录的不同子目录中，所述通用代理器服务于uvm接口中具有特定协议的接口，所述自定义代理器服务于uvm接口中的自定义接口。

8、本实施例通过在代理器中设置自定义代理器，针对待测设计非标准协议的接口，可添加对应接口以兼容，从而提高验证环境的兼容性。另外，通过在第二文件目录中将通用代理器和自定义代理器所需组件分开存储，可以方便验证人员对验证环境各类组件进行分类，这样脚本处理变得简化，同时方便使用者快速查找文件。

9、在第一方面的一种可能的实现方式中，每一代理器中的验证组件包括序列器、驱动器和监视器；其中，所述序列器用于接收激励后发送给所述驱动器，所述驱动器用于根据激励内的配置参数输出波形给所述待测设计，所述监视器用于监控所述待测设计的输出波形。

10、本实施例通过驱动器驱动激励以及根据监视器监测待测设计的输出波形可以实现对待测设计的验证，以及得到待测设计的功能验证结果。

11、在第一方面的一种可能的实现方式中，所述环境配置信息包括所述工程目录的目录参数、所述验证环境的存储路径、所述验证环境的创建模式和uvm结构配置参数。

12、本实施例根据工程目录的目录参数可以构建出工程目录的层级结构，为后续的文件分类提供存储路径；基于验证环境的存储路径可以将每一文件存储到对应位置，完成不同文件的快速存储；根据验证环境的创建模式和uvm结构配置参数可以快速按照设定模式搭建出验证环境，提高验证环境的搭建效率。

13、在第一方面的一种可能的实现方式中，所述第一文件目录还存储有所述待测设计的仿真模型、覆盖率文件、断言文件和输入到所述代理器中用于对所述待测设计进行功能验证的测试合集。

14、本实施例通过在第一文件目录的对应位置添加待测设计的仿真模型、覆盖率文件、断言文件和测试合集，基于这些文件能够构建完整的验证环境，以及通过使用断言文件可以验证程序的逻辑和假设，利用覆盖率文件能够衡量测试效果，以及利用测试合集能进行回归测试。

15、为了实现上述目的，本发明第二方面实施例提供了一种验证环境搭建装置，所述验证环境包括设有若干个代理器的环境层，所述代理器用于对待测设计进行功能验证；所述装置包括：

16、数据获取模块，用于获取所述待测设计的环境配置信息和uvm接口信息；

17、工程目录创建模块，用于根据所述环境配置信息和所述uvm接口信息创建工程目录；

18、其中，所述工程目录包括存储环境文件和环境运行脚本的第一文件目录以及存储所述代理器的验证组件的第二文件目录，所述第一文件目录和所述第二文件目录并列于所述工程目录的同一层级；所述环境文件包括用于搭建所述环境层的程序，所述环境运行脚本用于运行所述验证环境以实现对所述待测设计的功能验证。

19、本实施例在验证环境的搭建过程中，提供一种通用的文件配置方式，基于待测设计的环境配置信息和uvm接口信息来创建工程目录，由于环境创建过程中，文件内容已知，所以可以通过脚本集成验证接口ip，减少在接口集成上花费的时间，以及统一配置的文件存储方式，在验证待测设计时，对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时也可以方便使用者快速查找文件，以及对于存在多人协作的情况，统一目录结构和脚本可以方便使用者快速交接，提高通用性和验证效率。

20、为了实现上述目的，本发明第三方面实施例提供了一种验证系统，包括：

21、工程目录的层级结构，所述工程目录包括同一层级下并列的第一文件目录和第二文件目录；

22、环境文件，存储在所述第一文件目录中，所述环境文件包括用于搭建验证环境的程序；其中，所述验证环境包括设有若干个代理器的环境层，所述代理器用于对待测设计进行功能验证；

23、环境运行脚本，存储在所述第一文件目录中，用于运行所述验证环境；

24、验证组件，存储在所述第二文件目录中，用于对待测设计进行功能验证。

25、本实施例的验证系统采用了一种通用的文件配置方式，由于文件内容已知，可以通过脚本集成验证接口ip，减少在接口集成上花费的时间，以及统一配置的文件存储方式，在验证待测设计时，对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时也可以方便使用者快速查找文件，以及对于存在多人协作的情况，统一目录结构和脚本可以方便使用者快速交接，提高通用性和验证效率。

26、在第三方面的一种可能的实现方式中，所述第一文件目录还存储有所述待测设计的仿真模型、覆盖率文件、断言文件和输入到所述代理器中用于对所述待测设计进行功能验证的测试合集。

27、本实施例通过在第一文件目录的对应位置存储待测设计的仿真模型、覆盖率文件、断言文件和测试合集，基于这些文件能够构建完整的验证环境，以及通过使用断言文件可以验证程序的逻辑和假设，利用覆盖率文件衡量测试效果，以及利用测试合集能进行回归测试。

28、为了实现上述目的，本发明第四方面实施例提供了一种芯片验证方法，应用于上述任一实施例所述方法搭建的验证环境，所述方法包括：

29、接收到验证指令时，运行所述环境运行脚本；

30、在所述第一文件目录中获取对应的测试序列；其中，所述测试序列用于搭载激励；

31、利用所述第二文件目录中存储的验证组件执行所述测试序列，对待测芯片进行功能验证。

32、本实施例的验证环境采用了一种通用的文件配置方式，在利用这一验证环境验证待测芯片时，对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时也可以方便使用者快速查找文件，以及对于存在多人协作的情况，统一目录结构和脚本可以方便使用者快速交接，提高通用性和验证效率。

33、在第四方面的一种可能的实现方式中，所述环境运行脚本内置至少一种用于调用电子设计自动化工具的程序，以使所述环境运行脚本根据配置模式配置电子设计自动化工具的工具参数；其中，所述配置模式包括调试模式、视图模式、命令行模式、验证后期回归模式和覆盖率收集模式中的至少一种。

34、本实施例通过在环境运行脚本内置至少一种用于调用电子设计自动化工具(electronic design automation，eda)的程序，解决现有技术中eda工具脚本只提供eda工具的调用，对于一些回归检查、覆盖率支持和激励的识别归类，验证阶段需求都没有支持，不利于验证效率的进一步提高的问题。本实施例通过在环境运行脚本中支持eda的在不同场景的调用，通过输入给脚本特定的命令选项，可以调整脚本相应的功能，以到达不同的验证目标。

35、在第四方面的一种可能的实现方式中，利用所述第二文件目录中存储的验证组件执行所述测试序列时，所述方法还包括：

36、在所述第一文件目录中读取检查配置文件；

37、利用所述检查配置文件在激励运行的临时目录下查找对应的文件和关键字符，得到所述激励的运行结果。

38、本实施例通过汇总验证组件执行测试序列时的运行结果，能够得知待测芯片的功能是否达到预期验证效果。

39、在第四方面的一种可能的实现方式中，所述方法还包括：

40、接收到回归测试指令时，在所述第一文件目录中查找测试序列和激励序列；

41、根据所述测试序列和所述激励序列生成测试合集和回归配置文件；其中，所述回归配置文件中包括激励的参数和数量；

42、根据所述回归配置文件创建回归环境；

43、利用所述回归环境执行所述测试合集中的至少一个测试序列。

44、本实施例在进行回归测试时，由于激励序列和测试序列的文件名有要求，需要根据文件的类型以特定字符结尾，因此使用环境运行脚本可以快速获取文件夹内的测试序列和激励序列的名称，进而快速生成测试合集，提高了回归测试的效率。

45、在第四方面的一种可能的实现方式中，所述利用所述回归环境执行所述测试合集中的至少一个测试序列后，所述方法还包括：

46、在所述测试序列执行完成后解析对应的日志文件，得到测试结果；

47、检测到所有测试序列均执行完毕时，统计所有测试序列的测试结果，以输出回归报告。

48、本实施例通过汇总统计所有测试序列的测试结果得到回归报告，能够得知修改的代码是否对原有程序造成影响，以对回归测试进行验证。

49、为了实现上述目的，本发明第五方面实施例提供了一种芯片验证装置，应用于上述任一实施例所述方法搭建的验证环境，所述验证环境用于对待测芯片进行功能验证。

50、本实施例的验证环境采用了一种通用的文件配置方式，在利用这一验证环境验证待测芯片时，对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时也可以方便使用者快速查找文件，以及对于存在多人协作的情况，统一目录结构和脚本可以方便使用者快速交接，提高通用性和验证效率。

51、为了实现上述目的，本发明第六方面实施例提供了一种计算机可读存储介质，其上存储有程序，所述程序在被调用时使得计算机执行如上述第一方面任一项所述的验证环境搭建方法。

52、为了实现上述目的，本发明第七方面实施例提供了一种计算机可读存储介质，其上存储有程序，所述程序在被调用时使得计算机执行如上述第四方面任一项所述的芯片验证方法。

53、与现有技术相比，本发明公开的验证环境搭建方法、装置、验证系统和芯片验证方法，在搭建验证环境的过程中，提供一种通用的文件配置方式，通过获取待测设计的环境配置信息和uvm接口信息来创建工程目录；工程目录包括存储环境文件和环境运行脚本的第一文件目录以及存储代理器的验证组件的第二文件目录，第一文件目录和第二文件目录并列于工程目录的同一层级。由于在环境创建过程中，文件内容已知，所以可以通过脚本集成验证接口ip，减少在接口集成上花费的时间，以及对文件夹的分类可以方便使用者对验证环境各类组件进行分类，这样脚本处理变得简化，同时方便使用者快速查找文件，统一目录结构和脚本可以方便使用者快速交接，提高验证环境的通用性和验证效率。