CN105302573A - 一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 - Google Patents
一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 Download PDFInfo
- Publication number
- CN105302573A CN105302573A CN201510809476.4A CN201510809476A CN105302573A CN 105302573 A CN105302573 A CN 105302573A CN 201510809476 A CN201510809476 A CN 201510809476A CN 105302573 A CN105302573 A CN 105302573A
- Authority
- CN
- China
- Prior art keywords
- point
- function
- platform
- script
- function point
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012795 verification Methods 0.000 title claims abstract description 31
- 238000000034 method Methods 0.000 title claims abstract description 23
- 230000006870 function Effects 0.000 claims abstract description 71
- 238000012360 testing method Methods 0.000 claims abstract description 24
- 239000013598 vector Substances 0.000 claims abstract description 23
- 230000008878 coupling Effects 0.000 claims description 17
- 238000010168 coupling process Methods 0.000 claims description 17
- 238000005859 coupling reaction Methods 0.000 claims description 17
- 238000013461 design Methods 0.000 claims description 12
- 230000008571 general function Effects 0.000 claims description 3
- 238000011161 development Methods 0.000 abstract description 3
- 238000012942 design verification Methods 0.000 abstract description 2
- 238000005259 measurement Methods 0.000 abstract 1
- 238000012545 processing Methods 0.000 abstract 1
- 238000005516 engineering process Methods 0.000 description 4
- 230000008569 process Effects 0.000 description 4
- 230000008901 benefit Effects 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 230000005284 excitation Effects 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明涉及IC设计验证领域，具体是涉及一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法。本发明的方法首先建立功能点定义文档，然后，使用功能覆盖点设置文件生成脚本生成覆盖点代码文件，该脚本使用脚本语言编写，读取功能点定义文档，根据文档内各功能点的信息和当前测试向量设置的验证约束，经过处理后生成当前测试向量需要的功能覆盖点代码；最后，将生成的功能覆盖点代码文件加入到当前验证平台的覆盖率收集组件中，运行测向量，搜集功能覆盖率。使用本发明的方法搭建的自动化平台进行功能点匹配设置可以提高功能验证平台的自动化水平，减少人工操作导致的错误，大幅提高芯片功能验证的效率，加快项目开发进度。
Description
技术领域
本发明涉及IC设计验证领域，特别涉及一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法。
背景技术
目前，电子信息技术产业发展迅速，对于专用芯片的性能要求越来越高，在集成电路制技术迅速进步的同时，集成电路的复杂度呈指数增加。随着集成电路复杂度的增加，芯片设计代码的功能验证难度大大提高，功能验证已经成为整个芯片开发过程中的瓶颈。
传统的Testbench验证平台需要人工编写所有的测试激励，任务量巨大而且难以衡量验证进程，已经不能较好的完成验证工作。
新型验证平台基于功能覆盖率驱动的验证方法学等技术作为验证工作推动力，可以在项目开始阶段就将芯片的功能点进行具体化，使用功能覆盖率在整个验证过程中准确的控制验证工作的方向，大幅提高验证工作的生成率，降低芯片设计的隐患存在可能性，大大缩短了芯片的开发周期。
虽然基于功能覆盖率驱动的验证方法学相对于传统Testbench有巨大的优点，但是在搭建功能新型功能验证平台的过程中，需要手动为不同的测试向量分别根据当前约束信息匹配设置功能覆盖点，这一工作的工作量较大，工作内容重复，较容易引入人为错误。
发明内容
为了解决现有技术的问题，本发明提供了一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，本发明针对现有验证平台中功能点匹配设置工作存在的效率低的问题，通过使用脚本语言，基于功能点信息文档和测试向量约束信息文档，完成不同设计中不同测试向量所需的功能点匹配设置代码生成的自动化平台的搭建。
本发明所采用的技术方案如下：
一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，包括以下步骤：
A、根据被测设计的设计说明书制定功能点，编写功能点文档；
B、编写功能覆盖点设置文件生成脚本，搭建功能点匹配设置自动化平台；
C、将功能覆盖点设置文件生成脚本生成的功能覆盖点设置文档的内容添加到自动化平台的功能覆盖率搜集组件中，完成当前测试向量对功能覆盖点设置的需要，运行测试向量，搜集功能覆盖率。
步骤B具体包括：
B1、通过脚本语言的文件打开编辑函数打开功能点文档，利用正则表达式检索文档内容，根据实现脚本使用的脚本语言将文档的功能点名称，覆盖点名称，覆盖仓名称和属性信息分别保存在不同的数据结构内；
B2、读取当前测试向量使用的约束信息，包括随机变量约束信息和随机类约束信息，同样将约束保存在脚本内的相应的数据结构中；
B3、根据读入的测试向量使用的约束信息有选择的打印输出各功能点的功能覆盖点代码到覆盖点设置文档。
步骤A中的功能点文档包括：
A1、所有需要设置的功能点名称，包括普通功能点和交叉功能；
A2、每个功能点的覆盖点名称，包括基本覆盖点和交叉覆盖点；
A3、每个覆盖点的所有覆盖仓名称，包括基本覆盖仓和交叉覆盖仓；
A4、每个覆盖仓的属性描述。
步骤B中的脚本使用脚本语言Perl实现。
数据结构为字符串。
本发明通过使用自动化脚本，根据被测设计的功能点信息文档和测试向量约束条件文档，自动化生成对应特定测试向量的功能覆盖点设置文档。当有测试向量有约束条件修改或设计的功能点有变更时，只需要重新运行功能覆盖点设置是文件生成脚本即可生成对应当前测试变量的功能覆盖点设置文件，而无需像传统方法，手动重新编写新的功能覆盖点设置文件。该自动化平台大幅提高了功能验证平台的搭建的自动化程度，降低人为错误，大幅提高验证效率。
本发明提供的技术方案带来的有益效果是：
本发明提出了一种新颖而实用的搭建用于功能验证平台的功能点匹配设置的自动化平台的方法，通过使用脚本语言，实现了通过文本文档完成不同设计的不同测试向量的功能覆盖点设置文档的生成，快速而高效的完成验证平台中功能覆盖点的匹配设置。
该方法实施方便，流程简单，高效稳定，可以大幅缩短为功能验证平台各测试向量匹配设置功能覆盖点的工作时间，搭建的通用平台具有高度的自动化、通用和可重用特点，可以大幅提高功能验证效率。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚，下面将结合实施方式作进一步地详细描述。
实施例一
本实施例的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，包括以下步骤：
A、根据被测设计的设计说明书制定功能点，编写功能点文档；
功能点文档包括：
A1、所有需要设置的功能点名称，包括普通功能点和交叉功能；
A2、每个功能点的覆盖点名称，包括基本覆盖点和交叉覆盖点；
A3、每个覆盖点的所有覆盖仓名称，包括基本覆盖仓和交叉覆盖仓；
A4、每个覆盖仓的属性描述。
B、编写功能覆盖点设置文件生成脚本，搭建功能点匹配设置自动化平台，脚本可用使用多种脚本语言实现，如Perl、tcl、shell等；
步骤B具体包括：
B1、通过脚本语言的文件打开编辑函数打开功能点文档，利用正则表达式检索文档内容，根据实现脚本使用的脚本语言将文档的功能点名称，覆盖点名称，覆盖仓名称和属性信息分别保存在不同的数据结构内；
B2、读取当前测试向量使用的约束信息，包括随机变量约束信息和随机类约束信息，同样将约束保存在脚本内的相应的数据结构中；
B3、根据读入的测试向量使用的约束信息有选择的打印输出各功能点的功能覆盖点代码到覆盖点设置文档。
C、将功能覆盖点设置文件生成脚本生成的功能覆盖点设置文档的内容添加到自动化平台的功能覆盖率搜集组件中，完成当前测试向量对功能覆盖点设置的需要，运行测试向量，搜集功能覆盖率。
以上所述仅为本发明的较佳实施例，并不用以限制本发明，凡在本发明的精神和原则之内，所作的任何修改、等同替换、改进等，均应包含在本发明的保护范围之内。
Claims (5)
1.一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，包括以下步骤：
A、根据被测设计的设计说明书制定功能点，编写功能点文档；
B、编写功能覆盖点设置文件生成脚本，搭建功能点匹配设置自动化平台；
C、将功能覆盖点设置文件生成脚本生成的功能覆盖点设置文档的内容添加到自动化平台的功能覆盖率搜集组件中，完成当前测试向量对功能覆盖点设置的需要，运行测试向量，搜集功能覆盖率。
2.根据权利要求1所述的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，其特征在于，所述的步骤B具体包括：
B1、通过脚本语言的文件打开编辑函数打开功能点文档，利用正则表达式检索文档内容，根据实现脚本使用的脚本语言将文档的功能点名称，覆盖点名称，覆盖仓名称和属性信息分别保存在不同的数据结构内；
B2、读取当前测试向量使用的约束信息，包括随机变量约束信息和随机类约束信息，同样将约束保存在脚本内的相应的数据结构中；
B3、根据读入的测试向量使用的约束信息有选择的打印输出各功能点的功能覆盖点代码到覆盖点设置文档。
3.根据权利要求1所述的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，其特征在于，所述的步骤A中的功能点文档包括：
A1、所有需要设置的功能点名称，包括普通功能点和交叉功能；
A2、每个功能点的覆盖点名称，包括基本覆盖点和交叉覆盖点；
A3、每个覆盖点的所有覆盖仓名称，包括基本覆盖仓和交叉覆盖仓；
A4、每个覆盖仓的属性描述。
4.根据权利要求1所述的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，其特征在于，所述的步骤B中的脚本使用脚本语言Perl实现。
5.根据权利要求2所述的一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法，其特征在于，所述的数据结构为字符串。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510809476.4A CN105302573A (zh) | 2015-11-20 | 2015-11-20 | 一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510809476.4A CN105302573A (zh) | 2015-11-20 | 2015-11-20 | 一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN105302573A true CN105302573A (zh) | 2016-02-03 |
Family
ID=55199871
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510809476.4A Pending CN105302573A (zh) | 2015-11-20 | 2015-11-20 | 一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN105302573A (zh) |
Cited By (10)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106845000A (zh) * | 2017-02-13 | 2017-06-13 | 济南浪潮高新科技投资发展有限公司 | 一种基于脚本的用于ddr3模块的自动化验证平台的搭建方法 |
| CN107506558A (zh) * | 2017-09-05 | 2017-12-22 | 郑州云海信息技术有限公司 | 一种采用断言和脚本提高统计功能覆盖率效率的方法 |
| CN107797923A (zh) * | 2017-10-10 | 2018-03-13 | 平安科技（深圳）有限公司 | 代码覆盖率分析方法及应用服务器 |
| CN108897724A (zh) * | 2018-07-03 | 2018-11-27 | 天津芯海创科技有限公司 | 功能完成进度确定方法及装置 |
| CN109711057A (zh) * | 2018-12-28 | 2019-05-03 | 深圳忆联信息系统有限公司 | 一种用于验证芯片环境完备性的方法及其系统 |
| CN110321341A (zh) * | 2019-07-05 | 2019-10-11 | 四川长虹电器股份有限公司 | 一种ic版图数据的整理和验证方法 |
| CN112560390A (zh) * | 2020-12-23 | 2021-03-26 | 海光信息技术股份有限公司 | 自动生成交叉覆盖点中的忽略仓的方法、装置、设备 |
| CN113705150A (zh) * | 2021-07-23 | 2021-11-26 | 合肥忆芯电子科技有限公司 | 一种生成覆盖组的方法和设备 |
| CN113868061A (zh) * | 2021-09-29 | 2021-12-31 | 深圳大普微电子科技有限公司 | 芯片验证方法、装置及服务器 |
| CN116663491A (zh) * | 2023-07-26 | 2023-08-29 | 北京云枢创新软件技术有限公司 | 基于bdd求解功能覆盖组条件约束语句的方法、设备和介质 |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2001337846A (ja) * | 2000-03-23 | 2001-12-07 | Mitsubishi Electric Corp | ソフトウエア品質検査支援システム及び方法 |
| CN101430661A (zh) * | 2008-11-18 | 2009-05-13 | 阿里巴巴集团控股有限公司 | 一种批量生成测试数据的方法、系统和装置 |
| CN101488160A (zh) * | 2009-02-25 | 2009-07-22 | 中国科学院计算技术研究所 | 覆盖率驱动随机验证集成电路的方法及系统 |
| JP2012150650A (ja) * | 2011-01-19 | 2012-08-09 | Toshiba Tec Corp | 検証装置、プログラムおよび検証システム |
| CN102722610A (zh) * | 2012-05-29 | 2012-10-10 | 李姮乐 | 一种由流程图自动产生覆盖率代码的方法及装置 |
-
2015
- 2015-11-20 CN CN201510809476.4A patent/CN105302573A/zh active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JP2001337846A (ja) * | 2000-03-23 | 2001-12-07 | Mitsubishi Electric Corp | ソフトウエア品質検査支援システム及び方法 |
| CN101430661A (zh) * | 2008-11-18 | 2009-05-13 | 阿里巴巴集团控股有限公司 | 一种批量生成测试数据的方法、系统和装置 |
| CN101488160A (zh) * | 2009-02-25 | 2009-07-22 | 中国科学院计算技术研究所 | 覆盖率驱动随机验证集成电路的方法及系统 |
| JP2012150650A (ja) * | 2011-01-19 | 2012-08-09 | Toshiba Tec Corp | 検証装置、プログラムおよび検証システム |
| CN102722610A (zh) * | 2012-05-29 | 2012-10-10 | 李姮乐 | 一种由流程图自动产生覆盖率代码的方法及装置 |
Non-Patent Citations (1)
| Title |
|---|
| 钟文枫: "《System Verilog与功能验证》", 31 October 2010, 机械工业出版社 * |
Cited By (14)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN106845000A (zh) * | 2017-02-13 | 2017-06-13 | 济南浪潮高新科技投资发展有限公司 | 一种基于脚本的用于ddr3模块的自动化验证平台的搭建方法 |
| CN107506558A (zh) * | 2017-09-05 | 2017-12-22 | 郑州云海信息技术有限公司 | 一种采用断言和脚本提高统计功能覆盖率效率的方法 |
| CN107797923A (zh) * | 2017-10-10 | 2018-03-13 | 平安科技（深圳）有限公司 | 代码覆盖率分析方法及应用服务器 |
| CN108897724A (zh) * | 2018-07-03 | 2018-11-27 | 天津芯海创科技有限公司 | 功能完成进度确定方法及装置 |
| CN109711057A (zh) * | 2018-12-28 | 2019-05-03 | 深圳忆联信息系统有限公司 | 一种用于验证芯片环境完备性的方法及其系统 |
| CN110321341A (zh) * | 2019-07-05 | 2019-10-11 | 四川长虹电器股份有限公司 | 一种ic版图数据的整理和验证方法 |
| CN112560390A (zh) * | 2020-12-23 | 2021-03-26 | 海光信息技术股份有限公司 | 自动生成交叉覆盖点中的忽略仓的方法、装置、设备 |
| CN112560390B (zh) * | 2020-12-23 | 2022-09-06 | 海光信息技术股份有限公司 | 自动生成交叉覆盖点中的忽略仓的方法、装置、设备 |
| CN113705150A (zh) * | 2021-07-23 | 2021-11-26 | 合肥忆芯电子科技有限公司 | 一种生成覆盖组的方法和设备 |
| CN113705150B (zh) * | 2021-07-23 | 2024-06-04 | 合肥忆芯电子科技有限公司 | 一种生成覆盖组的方法和设备 |
| CN113868061A (zh) * | 2021-09-29 | 2021-12-31 | 深圳大普微电子科技有限公司 | 芯片验证方法、装置及服务器 |
| CN113868061B (zh) * | 2021-09-29 | 2024-05-28 | 深圳大普微电子科技有限公司 | 芯片验证方法、装置及服务器 |
| CN116663491A (zh) * | 2023-07-26 | 2023-08-29 | 北京云枢创新软件技术有限公司 | 基于bdd求解功能覆盖组条件约束语句的方法、设备和介质 |
| CN116663491B (zh) * | 2023-07-26 | 2023-10-13 | 北京云枢创新软件技术有限公司 | 基于bdd求解功能覆盖组条件约束语句的方法、设备和介质 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN105302573A (zh) | 一种用于功能验证平台的功能点匹配设置自动化平台的搭建方法 | |
| CN104408264B (zh) | 一种基于断言的嵌入式存储控制器验证系统及方法 | |
| CN102402430B (zh) | 一种利用脚本生成随机测试例方法和系统 | |
| CN106557413A (zh) | 基于代码覆盖率获取测试用例的方法和设备 | |
| CN109739766A (zh) | 一种快速搭建fpga数字仿真模型的系统及方法 | |
| CN110389896A (zh) | 代码自动化分析和测试方法、装置及计算机可读存储介质 | |
| CN105589993A (zh) | 微处理器功能验证设备及微处理器功能验证方法 | |
| CN104298595A (zh) | 自动化测试方法及测试系统 | |
| CN101833499A (zh) | 一种基于可达树的软件测试验证方法 | |
| CN104050087A (zh) | 一种基于uml模型的软件架构正确性验证方法 | |
| CN104834600A (zh) | 一种测试Android应用控件的方法 | |
| CN103150228A (zh) | 面向高速缓冲存储器的可综合伪随机验证方法及装置 | |
| CN105279092A (zh) | 一种软件测试的方法及装置 | |
| CN102201022A (zh) | 用于fpga验证的方法和装置 | |
| CN105573881B (zh) | 基于bfm快速验证大型互连芯片地址的方法及系统 | |
| CN107622017A (zh) | 一种通用自动化软件测试的解析方法 | |
| Islam et al. | Measuring energy footprint of software features | |
| JP2014063415A (ja) | テストケース自動生成装置及びテストケース自動生成プログラム | |
| Cohen | The maturation of search-based software testing: Successes and challenges | |
| CN104572427A (zh) | 一种页面测试的方法、服务器及系统 | |
| CN106776277A (zh) | 一种跨进程测试的方法、装置及电子设备 | |
| CN104166744A (zh) | 验证视频算法寄存器传输级实现的方法和系统 | |
| CN113434390B (zh) | 一种基于变异的fpga逻辑综合工具模糊测试方法 | |
| CN102495778A (zh) | 一种测试单包正则匹配逻辑的系统和方法 | |
| CN105045698A (zh) | 使用python的matplotlib分析芯片验证进度的方法 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20160203 |
|
| WD01 | Invention patent application deemed withdrawn after publication |