一种通用接口覆盖率模型验证环境自动生成方法、系统及介质技术方案

本发明专利技术公开了一种通用接口覆盖率模型验证环境自动生成方法、系统及介质，本发明专利技术方法包括：获取包含通用接口所涉及的全部覆盖组和断言的覆盖率模型描述模板；根据覆盖率模型描述模板的格式及要求获取覆盖率模型自动生成脚本；根据覆盖率模型描述模板和所需的覆盖组和断言获取覆盖率模型描述文件；使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件，自动生成接口覆盖率模型环境，得到包括所需接口覆盖率模型、宏定义文件、文件列表和连接文件。本发明专利技术具有良好继承性，避免了对代码直接进行修改的重复性工作，也避免了代码编写风格差异带来的风险，本发明专利技术还可以应用于标准接口之外的自定义协议接口的覆盖率模型生成。

【技术实现步骤摘要】
一种通用接口覆盖率模型验证环境自动生成方法、系统及介质
本专利技术涉及集成电路功能验证领域，具体涉及一种通用接口覆盖率模型验证环境自动生成方法、系统及介质。
技术介绍
随着集成电路的设计规模越来越大，对于功能正确性验证的挑战也随之增大。功能正确性验证的挑战主要表现在以下几方面：验证功能点是否完备，测试结果的正确性检测，覆盖率模型是否完善等。功能点的完备性可以通过多次功能点的评审来尽可能保证完备性。测试结果的正确性检测可以通过编写参考模型，并与设计进行一致性检查来保证。覆盖率模型通常由验证师根据功能点文档进行编写，由于不同验证师对功能点的理解和代码编写风格有差异，会造成每个验证师编写的功能覆盖率模型存在较大差异，在其它项目中需要继承该覆盖率模型时，往往需要花费较多的时间对该覆盖率模型进行调测试，不具有良好的继承性，从而导致很多重复工作的进行。因此寻找一种具有良好继承性，且能够通用的覆盖率模型生成方法，对于节省集成电路设计验证的时间和人力成本具有重要意义。
技术实现思路
本专利技术要解决的技术问题：针对现有技术的上述问题，提供一种通用接口覆盖率模型验证环境自动生成方法、系统及介质，本专利技术对于相同接口的不同覆盖率模型需求，仅需对描述文件进行少量修改即可，从而提高了覆盖率模型的继承性，具有良好继承性，避免了对代码直接进行修改的重复性工作，也避免了代码编写风格差异带来的风险，本专利技术还可以应用于标准接口之外的自定义协议接口的覆盖率模型生成。为了解决上述技术问题，本专利技术采用的技术方案为：一种通用接口覆盖率模型验证环境自动生成方法，该方法包括：1）获取包含通用接口所涉及的全部覆盖组和断言的覆盖率模型描述模板；2）根据覆盖率模型描述模板和所需的覆盖组和断言获取覆盖率模型描述文件；3）根据覆盖率模型描述模板的格式及要求获取覆盖率模型自动生成脚本，使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件自动生成接口覆盖率模型环境，得到包括所需接口覆盖率模型、宏定义文件、文件列表和连接文件。可选地，所述覆盖率模型描述模板包括顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板，顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板均为表格形式且表头中至少包含项目子系统、项目模块、接口协议和类型，所述顶层描述模板的数量为1个，所述接口描述模板、断言描述模板和覆盖组描述模板的数量为至少一个。可选地，所述顶层描述模板记录的信息包括索引关系、覆盖率模型、设计接口层次，其中索引关系用于记录建立索引关系的接口描述模板、断言描述模板和覆盖组描述模板，索引关系的记录字段包括项目子系统、项目模块、接口协议；覆盖率模型用于记录需要使用接口描述模板、断言描述模板和覆盖组描述模板生成所需的接口功能覆盖率模型；设计接口层次用于记录所需要收集覆盖率的接口在验证环境中的层次关系，设计接口层次的记录字段包括模块的实例化名及其对应的接口层次；所述接口描述模板记录的信息包括要生成的覆盖率模型的接口信号、信号位宽、宏定义值，接口信号的记录字段包括覆盖率模型接口、设计接口，其中设计接口为与覆盖率模型接口相连的接口，宏定义值的记录字段包括信号位宽声明、断言和覆盖组描述；所述断言描述模板记录的信息包括覆盖率模型中断言的断言描述、注释和配置选项，断言描述的记录字段包括断言名、断言触发条件、断言检测时序，配置选项的记录字段包括断言生成使能控制、断言生成类型控制，断言生成使能控制用于控制是否生成此断言，断言生成类型控制用于控制断言是覆盖断言或时序断言，覆盖断言只检测断言是否覆盖到、不具有报错功能；时序断言会在时序检测出错时立即报断言错；所述覆盖组描述模板记录的信息包括覆盖组描述、注释和配置选项，覆盖组描述的记录字段包括覆盖组名、覆盖组触发条件、覆盖点类型、覆盖点名、采样信号、仓名、仓取值，配置选项的记录字段包括覆盖组生成使能、覆盖组配置项、覆盖点类型配置项、仓类型配置项，覆盖组生成使能用于控制是否生成此覆盖组，覆盖点类型配置项用于区分覆盖点是独立覆盖点还是交叉覆盖点，仓类型配置项包括三种仓类型：正常仓、非法仓和不统计仓。可选地，步骤3）中使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件自动生成接口覆盖率模型环境的详细步骤包括：3.1）进行描述表分类：根据表头的类型将覆盖率模型描述模板分类为顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板，并根据表头中的项目名、子系统名、模块名和接口协议将每个模板进行记录以便后续根据顶层描述模板中的索引关系进行所需模板的查找；3.2）覆盖率模型代码生成：根据顶层描述模板以及分类得到的接口描述模板、断言描述模板和覆盖组描述模板生成所需的接口覆盖率模型代码；3.3）接口宏定义文件生成：根据接口描述模板，查找全部接口描述模板中接口信号位宽定义所使用的宏定义值，并将其保存到接口宏定义文件中，以便于后续进行位宽的修改；3.4）文件列表文件生成：将接口覆盖率模型文件和接口宏定义文件写入文件列表文件中，其路径使用一个宏定义值；3.5）连接文件生成：根据顶层描述模板以及分类得到的接口描述模板的内容，将接口覆盖率模型与所需要收集覆盖率的接口进行连接，并将连接关系保存到连接文件中；3.6）非接口宏定义和中文字符替换：将生成的接口覆盖率模型代码中的宏定义值替换为断言和覆盖组编写的语法支持的对应内容；将生成的接口覆盖率模型代码中的中文字符替换为生成的接口覆盖率模型代码的编译环境支持的语言文字。可选地，步骤3.2）的详细步骤包括：3.2.1）读取顶层描述模板的第一行的内容作为当前行n；3.2.2）判断当前行n的内容和已生成的接口覆盖率模型来确认是否需要生成该接口覆盖率模型代码，如果需要则生成一个保存该接口覆盖率模型空模板的文件，并在文件中加入该接口覆盖率模型的空模块，然后进入步骤3.2.3）；如果前面已经生成了该接口覆盖率模型代码，则进入步骤3.2.7）；3.2.3）根据顶层描述模板当前行n的内容的描述和所获取的接口描述模板分类，查找到所需的接口描述模板，并根据接口描述模板内容在生成的接口覆盖率模型的模块中加上接口信号代码，对于覆盖率模型而言，由于其作用是收集设计接口上的信号，因此所述接口覆盖率模型中加上的接口信号均为输入信号；3.2.4）根据顶层模板第n行内容的描述和所获取的断言描述模板分类，查找所需的断言描述模板，并根据断言描述模板的内容和断言编写语法在生成的接口覆盖率模型的模块中生成所需的断言代码；3.2.5）根据顶层模板第n行内容的描述和所获取的覆盖组描述模板分类，查找所需的覆盖组描述模板，并根据覆盖组描述模板的内容和覆盖组编写语法在生成的接口覆盖率模型的模块中生成所需的覆盖组代码；3.2.6）保存并记录所生成的接口覆盖率模型；3.2.7）判断当前行n是否为最后一行，若当前行n不是最后一行，则读取下一行作为新的当前行n，进入步骤3.2.2）；若当前行n是最后一行，则结束该步骤并跳到步骤3.3）。<本文档来自技高网...

【技术保护点】
1.一种通用接口覆盖率模型验证环境自动生成方法，其特征在于，该方法包括：/n1）获取包含通用接口所涉及的全部覆盖组和断言的覆盖率模型描述模板；/n2）根据覆盖率模型描述模板和所需的覆盖组和断言获取覆盖率模型描述文件；/n3）根据覆盖率模型描述模板的格式及要求获取覆盖率模型自动生成脚本，使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件自动生成接口覆盖率模型环境，得到包括所需接口覆盖率模型、宏定义文件、文件列表和连接文件。/n

【技术特征摘要】
1.一种通用接口覆盖率模型验证环境自动生成方法，其特征在于，该方法包括：
1）获取包含通用接口所涉及的全部覆盖组和断言的覆盖率模型描述模板；
2）根据覆盖率模型描述模板和所需的覆盖组和断言获取覆盖率模型描述文件；
3）根据覆盖率模型描述模板的格式及要求获取覆盖率模型自动生成脚本，使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件自动生成接口覆盖率模型环境，得到包括所需接口覆盖率模型、宏定义文件、文件列表和连接文件。


2.根据权利要求1所述的通用接口覆盖率模型验证环境自动生成方法，其特征在于，所述覆盖率模型描述模板包括顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板，顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板均为表格形式且表头中至少包含项目子系统、项目模块、接口协议和类型，所述顶层描述模板的数量为1个，所述接口描述模板、断言描述模板和覆盖组描述模板的数量为至少一个。


3.根据权利要求2所述的通用接口覆盖率模型验证环境自动生成方法，其特征在于，所述顶层描述模板记录的信息包括索引关系、覆盖率模型、设计接口层次，其中索引关系用于记录建立索引关系的接口描述模板、断言描述模板和覆盖组描述模板，索引关系的记录字段包括项目子系统、项目模块、接口协议；覆盖率模型用于记录需要使用接口描述模板、断言描述模板和覆盖组描述模板生成所需的接口功能覆盖率模型；设计接口层次用于记录所需要收集覆盖率的接口在验证环境中的层次关系，设计接口层次的记录字段包括模块的实例化名及其对应的接口层次；所述接口描述模板记录的信息包括要生成的覆盖率模型的接口信号、信号位宽、宏定义值，接口信号的记录字段包括覆盖率模型接口、设计接口，其中设计接口为与覆盖率模型接口相连的接口，宏定义值的记录字段包括信号位宽声明、断言和覆盖组描述；所述断言描述模板记录的信息包括覆盖率模型中断言的断言描述、注释和配置选项，断言描述的记录字段包括断言名、断言触发条件、断言检测时序，配置选项的记录字段包括断言生成使能控制、断言生成类型控制，断言生成使能控制用于控制是否生成此断言，断言生成类型控制用于控制断言是覆盖断言或时序断言，覆盖断言只检测断言是否覆盖到、不具有报错功能；时序断言会在时序检测出错时立即报断言错；所述覆盖组描述模板记录的信息包括覆盖组描述、注释和配置选项，覆盖组描述的记录字段包括覆盖组名、覆盖组触发条件、覆盖点类型、覆盖点名、采样信号、仓名、仓取值，配置选项的记录字段包括覆盖组生成使能、覆盖组配置项、覆盖点类型配置项、仓类型配置项，覆盖组生成使能用于控制是否生成此覆盖组，覆盖点类型配置项用于区分覆盖点是独立覆盖点还是交叉覆盖点，仓类型配置项包括三种仓类型：正常仓、非法仓和不统计仓。


4.根据权利要求3所述的通用接口覆盖率模型验证环境自动生成方法，其特征在于，步骤3）中使用覆盖率模型自动生成脚本处理生成的覆盖率模型描述文件自动生成接口覆盖率模型环境的详细步骤包括：
3.1）进行描述表分类：根据表头的类型将覆盖率模型描述模板分类为顶层描述模板、接口描述模板、断言描述模板和覆盖组描述模板，并根据表头中的项目名、子系统名、模块名和接口协议将每个模板进行记录以便后续根据顶层描述模板中的索引关系进行所需模板的查找；
3.2）覆盖率模型代码生成：根据顶层描述模板以及分类得到的接口描述模板、断言描述模板和覆盖组描述模板生成所需的接口覆盖率模型代码；
3.3）接口宏定义文件生成：根据接口描述模板，查找全部接口描述模板中接口信号位宽定义所使用的宏定义值，并将其...

【专利技术属性】
技术研发人员：欧国东，罗莉，潘国腾，周海亮，荀长庆，周理，铁俊波，王蕾，龚锐，石伟，刘威，
申请(专利权)人：中国人民解放军国防科技大学，
类型：发明
国别省市：湖南;43