一种数字前端验证方法、装置、计算机设备及存储介质制造方法及图纸

本发明专利技术涉及验证技术领域，公开了一种数字前端验证方法、装置、计算机设备及存储介质，该方法包括：获取用户编写的多个子激励以及预先建立的固定语句，子激励中包括验证过程中需要变更的语句；根据用户的仿真命令，选择一个或多个子激励，基于选择的一个或多个子激励，生成激励链接文件；基于激励链接文件、固定语句，形成激励文件；利用激励文件进行验证。这样不仅简化了验证人员的代码编写量，而且使得整个验证环境十分轻量和灵活，提高了验证效率。达到了灵活高效的激励编写和测试效益。到了灵活高效的激励编写和测试效益。到了灵活高效的激励编写和测试效益。

【技术实现步骤摘要】
一种数字前端验证方法、装置、计算机设备及存储介质


[0001]本专利技术涉及验证
，具体涉及一种数字前端验证方法、装置、计算机设备及存储介质。

技术介绍

[0002]在芯片生产过程中，芯片在流片之前，需要对芯片进行验证测试，确保既定功能已被正确设计，且确保芯片的功能和性能能够达到设计要求，并且不受到不必要的故障和失效的影响，因此，数字前端验证是在集成电路设计流程中的一项关键步骤。
[0003]对于单纯system verilog(简称sv)构建的验证平台，其没有一套约定俗成的激励编写和测试方法，简单的可能是在initial begin块中，复杂的可能被封装在各种class中，方式不一。
[0004]对于使用Universal Verification Methodology(简称uvm)的验证平台，传统方法是编写一个继承于uvm_test基类的case作为激励，case作为是uvm验证环境的顶层，调用序列，并配置不同的环境参数，一条激励则编写一个case文件。这种方法的好处是case中可以设置验证环境的诸多配置，又由于是顶层，能够访问到其下各个组件的各个方法和成员变量。
[0005]但是专利技术人发现，在传统方法中，每条激励中存在较多的重复性结构语句，不仅激励看起来比较繁琐，而且编写起来也比较费事。尤其是对于一些小设计、小模块、较为独立的验证，使用传统方法的验证效率较低。

技术实现思路

[0006]有鉴于此，本专利技术提供了一种数字前端验证方法、装置、计算机设备及存储介质，以解决现有技术中数字前端验证效率较低的问题。
[0007]第一方面，本专利技术提供了一种数字前端验证方法，包括：
[0008]获取用户编写的多个子激励以及预先建立的固定语句，子激励中包括验证过程中需要变更的语句；
[0009]根据用户的仿真命令，选择一个或多个子激励，基于选择的一个或多个子激励，生成激励链接文件；
[0010]基于激励链接文件、固定语句，形成激励文件；
[0011]利用激励文件进行验证。
[0012]将验证过程中需要变更的语句从激励文件中剥离出来，在实际验证的时候，只需要获取用户编写的子激励，再根据用户的仿真命令，选择一个或多个子激励并自动生成激励链接文件，根据该激励链接文件以及固定语句即可形成激励文件，并进行仿真。与传统的直接编写若干条uvm_激励文件的实现方法相比，本实施例中提供的验证方法，可以有效避免编写重复的代码，还有助于代码的维护和更新，同时也减少了对其他代码的影响和风险。不仅简化了验证人员的代码编写量，而且使得整个验证环境十分轻量和灵活，提高了验证
效率。达到了灵活高效的激励编写和测试效益。
[0013]在一种可选的实施方式中，激励文件中还包括条件编译语句，条件编译语句用于判断激励链接文件是否存在；
[0014]在激励链接文件存在的情况下，执行激励链接文件。
[0015]条件编译宏可以避免用户不想编译到icq激励链接文件所包含的代码段的时候程序仍然执行了编译操作的现象出现。
[0016]在一种可选的实施方式中，根据用户的仿真命令，选择一个或多个子激励，包括：
[0017]根据多个子激励，建立子激励表，其中，子激励表包括子激励的路径；
[0018]从子激励表中选择一个或多个子激励。
[0019]可以在根据仿真命令选择子激励之前，先将用户编写的子激励建立一个子激励表，进而可以从子激励表中选择一个或多个子激励。提高了查找和访问子激励的便捷性和效率，还可以重复使用，降低代码的编写量。
[0020]在一种可选的实施方式中，利用激励文件进行验证，包括：
[0021]响应仿真器编译命令，对激励文件进行编译，编译后的激励文件用于验证。
[0022]尤其是针对多个子激励时，一次编译即可实现多次只仿真，不仅节约了激励文件编译的时间和系统资源，还可以提高仿真验证的效率，且简化了操作流程，降低出错的可能性，提高用户的工作效率。
[0023]在一种可选的实施方式中，在根据用户的仿真命令，选择多个子激励的情况下，利用激励文件进行验证，包括：
[0024]响应仿真命令；
[0025]根据仿真命令中的命令行传递参数，依次进行子激励验证，其中，仿真器一次仅验证一个子激励。
[0026]根据仿真命令中的命令行传递参数，依次进行子激励验证，可以提高仿真验证的效率，且简化了操作流程，降低出错的可能性，提高用户的工作效率。
[0027]在一种可选的实施方式中，在根据仿真命令中的命令行传递参数，依次进行子激励验证之前，包括：
[0028]判断命令行传递参数中的激励名称与子激励的名称是否匹配；
[0029]在不匹配的情况下，发出报错信息。
[0030]当在获取到的命令行传递参数中的激励名称无法匹配到icq子激励时，发出报错信息，可以帮助用户快速明确错误原因，帮助用户进行快速修护，还可以避免系统出现崩溃或产生其他不可预知的错误结果，有助于保证系统的稳定性和可靠性。
[0031]在一种可选的实施方式中，激励链接文件由运行仿真的脚本自动生成。
[0032]用户仅需编写好子激励文件即可，配合脚本的处理，大大简化了验证人员的代码编写量，且提高了验证效率。
[0033]第二方面，本专利技术提供了一种数字前端验证装置，装置包括：
[0034]获取模块，用于获取用户编写的多个子激励以及预先建立的固定语句，子激励中包括验证过程中需要变更的语句；
[0035]生成模块，用于根据用户的仿真命令，选择一个或多个子激励，基于选择的一个或多个子激励，生成激励链接文件；
[0036]形成模块，用户基于激励链接文件、固定语句，形成激励文件；
[0037]验证模块，用于利用激励文件进行验证。
[0038]第三方面，本专利技术提供了一种计算机设备，包括：存储器和处理器，存储器和处理器之间互相通信连接，存储器中存储有计算机指令，处理器通过执行计算机指令，从而执行上述第一方面或其对应的任一实施方式的数字前端验证方法。
[0039]第四方面，本专利技术提供了一种计算机可读存储介质，计算机可读存储介质存储有计算机指令，计算机指令用于使计算机执行上述第一方面或其对应的任一实施方式的数字前端验证方法。
附图说明
[0040]为了更清楚地说明本专利技术具体实施方式或现有技术中的技术方案，下面将对具体实施方式或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图是本专利技术的一些实施方式，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0041]图1是根据本专利技术实施例的数字前端验证方法的流程示意图；
[0042]图2是根据本专利技术实施例的激励文件的结构示意图；
[0043]图3是根据本专利技术实施例的激励链接文件的结构示意图；
[0044]图4是根据本专利技术实施例的数本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种数字前端验证方法，其特征在于，所述方法包括：获取用户编写的多个子激励以及预先建立的固定语句，所述子激励中包括验证过程中需要变更的语句；根据用户的仿真命令，选择一个或多个所述子激励，基于选择的一个或多个所述子激励，生成激励链接文件；基于所述激励链接文件、所述固定语句，形成激励文件；利用所述激励文件进行验证。2.根据权利要求1所述的方法，其特征在于，所述激励文件中还包括条件编译语句，所述条件编译语句用于判断所述激励链接文件是否存在；在所述激励链接文件存在的情况下，执行所述激励链接文件。3.根据权利要求1所述的方法，其特征在于，所述根据用户的仿真命令，选择一个或多个所述子激励，包括：根据所述多个子激励，建立子激励表，其中，所述子激励表包括所述子激励的路径；从所述子激励表中选择一个或多个所述子激励。4.根据权利要求1所述的方法，其特征在于，所述利用所述激励文件进行验证，包括：响应仿真器编译命令，对所述激励文件进行编译，编译后的所述激励文件用于验证。5.根据权利要求4所述的方法，其特征在于，在根据用户的仿真命令，选择多个所述子激励的情况下，所述利用所述激励文件进行验证，包括：响应所述仿真命令；根据所述仿真命令中的命令行传递参数，依次进行所述子激励验证，其中，所述仿真器一次仅验证一个所述子激励。6.根...

【专利技术属性】
技术研发人员：裴祖祥，叶楠，田斌，
申请(专利权)人：太初无锡电子科技有限公司，
类型：发明
国别省市：