[发明专利]一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法

说明书

技术领域

本发明涉及IC设计验证领域，特别涉及一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法。

背景技术

目前，电子信息技术产业发展迅速，对于专用芯片的性能要求越来越高，在集成电路制技术迅速进步的同时，集成电路的复杂度呈指数增加。随着集成电路复杂度的增加，芯片设计代码的功能验证难度大大提高，功能验证已经成为整个芯片开发过程中的瓶颈。

传统的Testbench验证平台需要人工编写所有的测试激励，任务量巨大而且难以衡量验证进程，已经不能较好的完成验证工作。

新型验证平台基于功能覆盖率驱动的验证方法学等技术作为验证工作推动力，可以在项目开始阶段就将芯片的功能点进行具体化，使用功能覆盖率在整个验证过程中准确的控制验证工作的方向，大幅提高验证工作的生成率，降低芯片设计的隐患存在可能性，大大缩短了芯片的开发周期。

虽然基于功能覆盖率驱动的验证方法学相对于传统Testbench有巨大的优点，但是在搭建功能新型功能验证平台的过程中，需要手动为不同的测试向量分别根据当前约束信息匹配设置功能覆盖点，这一工作的工作量较大，工作内容重复，较容易引入人为错误。

发明内容

为了解决现有技术的问题，本发明提供了一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，本发明针对现有验证平台中功能点匹配设置工作存在的效率低的问题，通过使用脚本语言，基于功能点信息文档和测试向量约束信息文档，完成不同设计中不同测试向量所需的功能点匹配设置代码生成的自动化平台的搭建。

本发明所采用的技术方案如下：

一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，包括以下步骤：

A、根据被测设计的设计说明书制定功能点，编写功能点文档；

B、编写功能覆盖点设置文件生成脚本，搭建功能点匹配设置自动化平台；

C、将功能覆盖点设置文件生成脚本生成的功能覆盖点设置文档的内容添加到自动化平台的功能覆盖率搜集组件中，完成当前测试向量对功能覆盖点设置的需要，运行测试向量，搜集功能覆盖率。

步骤B具体包括：

B1、通过脚本语言的文件打开编辑函数打开功能点文档，利用正则表达式检索文档内容，根据实现脚本使用的脚本语言将文档的功能点名称，覆盖点名称，覆盖仓名称和属性信息分别保存在不同的数据结构内；

B2、读取当前测试向量使用的约束信息，包括随机变量约束信息和随机类约束信息，同样将约束保存在脚本内的相应的数据结构中；

B3、根据读入的测试向量使用的约束信息有选择的打印输出各功能点的功能覆盖点代码到覆盖点设置文档。

步骤A中的功能点文档包括：

A1、所有需要设置的功能点名称，包括普通功能点和交叉功能；

A2、每个功能点的覆盖点名称，包括基本覆盖点和交叉覆盖点；

A3、每个覆盖点的所有覆盖仓名称，包括基本覆盖仓和交叉覆盖仓；

A4、每个覆盖仓的属性描述。

步骤B中的脚本使用脚本语言Perl实现。

数据结构为字符串。

本发明通过使用自动化脚本，根据被测设计的功能点信息文档和测试向量约束条件文档，自动化生成对应特定测试向量的功能覆盖点设置文档。当有测试向量有约束条件修改或设计的功能点有变更时，只需要重新运行功能覆盖点设置是文件生成脚本即可生成对应当前测试变量的功能覆盖点设置文件，而无需像传统方法，手动重新编写新的功能覆盖点设置文件。该自动化平台大幅提高了功能验证平台的搭建的自动化程度，降低人为错误，大幅提高验证效率。

本发明提供的技术方案带来的有益效果是：

本发明提出了一种新颖而实用的搭建用于功能验证平台的功能点匹配设置的自动化平台的方法，通过使用脚本语言，实现了通过文本文档完成不同设计的不同测试向量的功能覆盖点设置文档的生成，快速而高效的完成验证平台中功能覆盖点的匹配设置。

该方法实施方便，流程简单，高效稳定，可以大幅缩短为功能验证平台各测试向量匹配设置功能覆盖点的工作时间，搭建的通用平台具有高度的自动化、通用和可重用特点，可以大幅提高功能验证效率。

具体实施方式

为使本发明的目的、技术方案和优点更加清楚，下面将结合实施方式作进一步地详细描述。

实施例一

本实施例的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，包括以下步骤：

A、根据被测设计的设计说明书制定功能点，编写功能点文档；