【技术实现步骤摘要】
本申请涉及芯片验证，尤其涉及一种文件操作验证系统、验证方法、设备及介质。
技术介绍
1、随着集成电路产业的快速发展，芯片复杂度大大增加，对芯片功能验证的要求也越来越高。由于芯片验证的工作量在整个设计周期中的比例日益增大，因此，提升芯片验证的工作效率显得尤为重要。
2、当前验证环境以主流uvm（universal verification methodology，通用验证方法学）组件为基础进行芯片验证工作。在仿真中，验证环境往往通过定义一个文件中的各种变量，附带一些约束集成在该文件中。同时，对该文件进行编译，在随机化过程中，求解器求解该文件时，需要找到约束与变量之间的对应关系，才能随机化得到验证所需变量的随机值。
3、但是，在现有验证环境中，由于在文件中存在大量的约束关系，导致求解器负载严重，同时还要对文件进行编译，增加了验证时间，降低工作效率。
技术实现思路
1、本申请提供一种文件操作验证系统、验证方法、设备及介质，将约束关系与变量分离，从而能够缓解求解器的压力，提升工作效率。
2、一方面，本申请提供一种文件操作验证系统，文件操作验证系统包括约束配置组件、核心配置组件以及环境组件；环境组件包括配置池以及至少一个环境；约束配置组件，用于根据用户输入的约束配置文件，从约束句柄库中选取目标约束句柄；约束句柄库包括多个约束句柄，约束句柄中定义有对应变量的约束；约束配置文件包括用户指定的约束句柄的标识；核心配置组件，用于基于目标约束句柄，对目标约束句柄对应
3、在一种可能的实现方式中，约束配置组件包括文件生成组件、文件工具组件以及约束句柄库；文件生成组件用于提供操作界面，并根据操作界面下的用户操作生成约束配置文件；文件工具组件用于通过对约束配置文件进行解析，确定目标约束句柄的标识。
4、在一种可能的实现方式中，文件工具组件，还用于根据接收到的约束配置文件的文件名，通过命令行宏定义的方式，将约束配置文件加载至文件工具组件。
5、在一种可能的实现方式中，约束句柄库还包括约束句柄的标识以及约束句柄的函数；约束句柄库，具体用于根据目标约束句柄的标识，从约束句柄库中选取目标约束句柄的标识对应的约束句柄作为目标约束句柄。
6、在一种可能的实现方式中，核心配置组件，具体用于：将目标约束句柄添加至约束句柄队列；针对当前约束句柄队列中的每个目标约束句柄，通过调用约束句柄库中目标约束句柄的函数，对目标约束句柄对应的变量进行随机化，并将该目标约束句柄从约束句柄队列中清除，直至约束句柄队列当前被清空，得到变量随机值。
7、在一种可能的实现方式中，文件操作验证系统还包括激励配置组件；激励配置组件用于通过指针从核心配置组件中获取变量随机值，并根据变量随机值得到对应的事务包；以及，将事务包发送至环境，以使环境根据变量随机值生成测试激励。
8、在一种可能的实现方式中，约束配置文件的文件格式为txt格式。
9、另一方面，本申请提供一种基于文件操作验证系统的验证方法，文件操作验证系统包括约束配置组件、核心配置组件以及环境组件；环境组件包括配置池以及至少一个环境；方法包括：约束配置组件根据用户输入的约束配置文件，从约束句柄库中选取目标约束句柄；约束句柄库包括多个约束句柄，约束句柄中定义有对应变量的约束；约束配置文件包括用户指定的约束句柄的标识；核心配置组件基于目标约束句柄，对目标约束句柄对应的变量在约束下进行随机化，获得变量随机值，并将变量随机值放至配置池中；环境从配置池中获取验证所需的变量随机值，以配置环境；根据变量随机值生成测试激励；以及，基于测试激励在经过配置的环境下对待测设备进行验证。
10、又一方面，本申请提供一种电子设备，包括：处理器、与处理器通信连接的存储器以及如前的系统。
11、又一方面，本申请提供一种计算机可读存储介质，计算机可读存储介质中存储有计算机执行指令，包括如前的系统。
12、本申请提供的文件操作验证系统、验证方法、设备及介质中，文件操作验证系统包括约束配置组件、核心配置组件以及环境组件；环境组件包括配置池以及至少一个环境；约束配置组件根据用户输入的约束配置文件，从约束句柄库中选取目标约束句柄；相应的，核心配置组件基于目标约束句柄，对目标约束句柄对应的变量在约束下进行随机化，得到变量随机值放入配置池中；然后环境从配置池中获取验证所需的变量随机值，配置环境，根据变量随机值产生测试激励，基于测试激励在经过配置的环境下对待测设备进行验证。本申请的方案，将约束关系与变量分离开来，极大的缓解了求解器求解的压力，避免出现约束冲突的情况，并且便于调试，同时也减少了编译时间，提升了工作效率。
本文档来自技高网...【技术保护点】
1.一种文件操作验证系统，其特征在于，包括约束配置组件、核心配置组件以及环境组件；所述环境组件包括配置池以及至少一个环境；
2.根据权利要求1所述的系统，其特征在于，所述约束配置组件包括文件生成组件、文件工具组件以及所述约束句柄库；
3.根据权利要求2所述的系统，其特征在于，所述文件工具组件，还用于根据接收到的所述约束配置文件的文件名，通过命令行宏定义的方式，将所述约束配置文件加载至所述文件工具组件。
4.根据权利要求2所述的系统，其特征在于，所述约束句柄库还包括所述约束句柄的标识以及所述约束句柄的函数；所述约束句柄库，具体用于：
5.根据权利要求4所述的系统，其特征在于，所述核心配置组件，具体用于：
6.根据权利要求1所述的系统，其特征在于，所述文件操作验证系统还包括激励配置组件；
7.根据权利要求1-6中任一项所述的系统，其特征在于，所述约束配置文件的文件格式为txt格式。
8.一种基于文件操作验证系统的验证方法，其特征在于，所述文件操作验证系统包括约束配置组件、核心配置组件以及环境组件；所述
9.一种电子设备，其特征在于，包括：处理器、与所述处理器通信连接的存储器以及如权利要求1-7中任一项所述的系统。
10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质中存储有计算机执行指令，包括如权利要求1-7中任一项所述的系统。
...【技术特征摘要】
1.一种文件操作验证系统，其特征在于，包括约束配置组件、核心配置组件以及环境组件；所述环境组件包括配置池以及至少一个环境；
2.根据权利要求1所述的系统，其特征在于，所述约束配置组件包括文件生成组件、文件工具组件以及所述约束句柄库；
3.根据权利要求2所述的系统，其特征在于，所述文件工具组件，还用于根据接收到的所述约束配置文件的文件名，通过命令行宏定义的方式，将所述约束配置文件加载至所述文件工具组件。
4.根据权利要求2所述的系统，其特征在于，所述约束句柄库还包括所述约束句柄的标识以及所述约束句柄的函数；所述约束句柄库，具体用于：
5.根据权利要求4所述的系统，其特征在于，所述核心配置组件，具体用于：...
【专利技术属性】
技术研发人员：冯子豪，请求不公布姓名，
申请(专利权)人：万有引力宁波电子科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。