CN105573908A - 一种功能验证方法和装置 - Google Patents
一种功能验证方法和装置 Download PDFInfo
- Publication number
- CN105573908A CN105573908A CN201510555353.2A CN201510555353A CN105573908A CN 105573908 A CN105573908 A CN 105573908A CN 201510555353 A CN201510555353 A CN 201510555353A CN 105573908 A CN105573908 A CN 105573908A
- Authority
- CN
- China
- Prior art keywords
- coverage
- code
- coverage rate
- function point
- statistics
- 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
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明公开了一种功能验证方法,包括:制定验证计划;进行功能点覆盖率统计;进行代码覆盖率统计;根据统计的功能点覆盖率和代码覆盖率进行验证计划反标,确定达到制定目标,结束验证。本发明还公开了一种功能验证装置,包括验证计划制定模块,完成芯片要验证的功能点设定及功能点覆盖率设定,进行芯片要验证的代码设定及代码覆盖率设定;功能覆盖率收集模块,统计功能点覆盖率;代码覆盖率统计模块,统计代码覆盖率;验证计划反标模块,将接收的统计的功能点覆盖率和设定的功能点覆盖率进行比较,并标示。采用本发明所示的方法和装置可以进行功能验证的同时,统计验证的覆盖率,提高芯片性能。
Description
技术领域
本发明涉及芯片功能验证领域,特别是一种功能验证方法和装置。
背景技术
信息技术射频识别800//900MHz空中接口协议为中国国家标准化管理委员会于2013年发布的短距窄带数据传输协议。使用SystemVerilog对芯片搭建验证并仿真可以对芯片进行完整的功能验证工作,通过功能覆盖率模型及代码覆盖率分析仿真效果。
芯片验证分为两部分,一部分是芯片组装之前对芯片的各个模块进行独立验证,一部分是集成后对整个芯片进行测试。各个模块的独立测试无法直接套用到集成芯片中,而目前现有的针对芯片集成环境的测试方法无法覆盖芯片的所有功能点,并且测试结果无法确定哪些功能点没有被覆盖,导致芯片的部分功能点没有被测试,会造成芯片的某些功能缺陷没有被发现。
发明内容
本发明的方法是利用SystemVerilog语言在验证环境中实现了对芯片仿真的功能验证工作,该系统包含验证计划制定、功能覆盖率收集、代码覆盖率统计、验证计划数据反标,可以明确的显示未被覆盖的功能点以及功能点的覆盖率,提高芯片的性能。
图1为方法操作流程说明图。描述了验证平台数据处理过程中的相关流程。仿真工作在验证计划制定完成后实施。分别通过功能覆盖模型及代码覆盖率数据形成验证报告数据流,验证计划反标完成对验证工作的反馈。通过该数据分析验证工作的正确性与完备性,如结果与验证计划制定目标不符合则增补测试向量或修改验证环境继续验证。
完成“验证计划制定”操作;
完成“功能覆盖率收集”操作;
完成“代码覆盖率统计”操作;
完成“验证计划反标”操作。
通过验证计划反标数据分析仿真结果。
图1为装置操作流程说明图。描述了验证环境模块相关流程。数据流在完成功能覆盖模型及代码覆盖率收集工作后反标会验证计划,判断仿真结果。
101:“验证计划制定”模块,完成验证计划制定操作。
102:“功能覆盖率收集”模块,完成基于协议的功能覆盖率模型搭建,该模型描述协议时序及协议功能要求,是对仿真结果分析的重要手段。
103:“代码覆盖率统计”模块,完成对芯片“LINE”、“COND”、“FSM”、“BRANCH”、“PATH”统计操作。
104:“验证计划反标”模块,完成对芯片功能覆盖率及代码覆盖率数据反标工作,与芯片验证开始前制定的“验证计划”对照,检查是否满足最初验证目标。
105:“仿真结束”模块,完成对仿真闭环数据的整体分析,判断是否给出仿真结果。
附图说明
图1是本发明所示的功能验证方法流程图;
图2是本发明所示的功能验证装置结构示意图。
具体实施方式
本发明使用覆盖率驱动验证方法对芯片进行仿真操作,实现了基于900M国军标协议中规定的功能验证要求,通过最终验证计划反标数据,确定了验证计划实现的一致性。
下面结合附图和实施例对本发明进行描述。
图1为操作流程说明图。描述了覆盖率驱动验证仿真方法相关流程。仿真工作在完成功能覆盖率及代码覆盖率分析后进行验证计划反标工作,如反标后的指标与最初制定的验证计划一致则表明验证工作截止。
具体步骤如下:
步骤101:进行验证计划制定;
设定芯片要验证的所有功能点以及每个功能点覆盖率的合格率;设定要验证的代码及代码覆盖率;
步骤102:进行功能点覆盖率收集;
对时序功能点及协议中的功能点用机器可以识别的语言进行定义,在关键路径上进行交叉定义;根据定义的功能点统计功能点的覆盖率,所述覆盖率为功能点被测试时的被测次数;
步骤103:进行代码覆盖率统计;
根据定义的代码统计代码覆盖率,所述统计的过程与功能点覆盖率的统计过程相同;
步骤104:验证计划反标。
比较所统计的功能点覆盖率和设定的功能点覆盖率、统计的代码覆盖率和设定的代码覆盖率,并标示;
步骤105;确定是否满足设定的目标,若满足,则进行步骤106,若不满足,则执行步骤102;
步骤106:验证结束。
本发明还提供了一种功能验证装置,包括:
验证计划制定模块201,完成芯片要验证的功能点设定及功能点覆盖率设定,进行芯片要验证的代码设定及代码覆盖率设定;并将功能点发送给功能覆盖率收集模块202,将代码发送给代码覆盖率统计模块203;将功能点覆盖率和代码覆盖率发送给验证计划反标模块204;所述功能点包括时序功能点及协议规定的功能点;
功能覆盖率收集模块202,将功能点定义成机器可识别的语言,并统计功能点覆盖率,发送给验证计划反标模块204;所述统计包括:根据功能点统计功能点的被测次数。
代码覆盖率统计模块203,将代码定义成机器可识别的语言,并统计代码覆盖率,发送给验证计划反标模块204;
验证计划反标模块204,将接收的统计的代码覆盖率与设定的代码覆盖率进行比较,将接收的统计的功能点覆盖率和设定的功能点覆盖率进行比较,并标示统计结果;若达到了设定目标,则验证结束,若没有达到目标,可再次验证。
以上所述,仅为本发明的较佳实施例而已,并非用于限定本发明的保护范围。
Claims (6)
1.一种功能验证方法,其特征在于,该方法包括:
制定验证计划;
进行功能点覆盖率统计;
进行代码覆盖率统计;
根据统计的功能点覆盖率和代码覆盖率进行验证计划反标,确定达到制定目标,结束验证。
2.根据权利要求1所述的方法,其特征在于,所述制定验证计划包括:设定芯片要验证的所有功能点以及每个功能点覆盖率的合格率;设定要验证的代码及代码覆盖率。
3.根据权利要求2所述的方法,其特征在于,所述进行功能点覆盖率统计,包括:对时序功能点及协议中的功能点用机器可以识别的语言进行定义,在关键路径上进行交叉定义;根据定义的功能点统计功能点的被测次数。
4.根据权利要求3所述的方法,其特征在于,所述进行代码覆盖率统计包括:根据定义的代码统计代码的被测次数。
5.根据权利要求1至4任一所述的方法,其特征在于,所述根据统计的功能点覆盖率和代码覆盖率进行验证计划反标包括:比较所统计的功能点覆盖率和设定的功能点覆盖率、统计的代码覆盖率和设定的代码覆盖率,并标示。
6.一种功能验证装置,其特征在于,该装置包括:
验证计划制定模块,完成芯片要验证的功能点设定及功能点覆盖率设定,进行芯片要验证的代码设定及代码覆盖率设定;并将功能点发送给功能覆盖率收集模块,将代码发送给代码覆盖率统计模块;将功能点覆盖率和代码覆盖率发送给验证计划反标模块;
功能覆盖率收集模块,将功能点定义成机器可识别的语言,并统计功能点覆盖率,发送给验证计划反标模块;
代码覆盖率统计模块,将代码定义成机器可识别的语言,并统计代码覆盖率,发送给验证计划反标模块;
验证计划反标模块,将接收的统计的代码覆盖率与设定的代码覆盖率进行比较,将接收的统计的功能点覆盖率和设定的功能点覆盖率进行比较,并标示统计结果;若达到了设定目标,则验证结束,若没有达到目标,可再次验证。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510555353.2A CN105573908A (zh) | 2015-09-01 | 2015-09-01 | 一种功能验证方法和装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201510555353.2A CN105573908A (zh) | 2015-09-01 | 2015-09-01 | 一种功能验证方法和装置 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN105573908A true CN105573908A (zh) | 2016-05-11 |
Family
ID=55884072
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201510555353.2A Pending CN105573908A (zh) | 2015-09-01 | 2015-09-01 | 一种功能验证方法和装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN105573908A (zh) |
Cited By (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107193738A (zh) * | 2017-05-19 | 2017-09-22 | 郑州云海信息技术有限公司 | 一种基于功能点覆盖动态调整随机约束的验证方法 |
CN107423222A (zh) * | 2017-08-08 | 2017-12-01 | 腾讯科技(深圳)有限公司 | 一种确定测试覆盖率的方法及设备 |
CN107480382A (zh) * | 2017-08-21 | 2017-12-15 | 中国电子科技集团公司第五十四研究所 | 一种快速收敛的覆盖率驱动验证方法 |
CN107797923A (zh) * | 2017-10-10 | 2018-03-13 | 平安科技(深圳)有限公司 | 代码覆盖率分析方法及应用服务器 |
CN108563580A (zh) * | 2017-12-27 | 2018-09-21 | 贵阳忆芯科技有限公司 | 介质接口控制器微码执行路径提取方法 |
CN112527587A (zh) * | 2020-12-03 | 2021-03-19 | 深圳大普微电子科技有限公司 | 一种验证进度确定方法、装置、设备及可读存储介质 |
CN114137873A (zh) * | 2021-11-23 | 2022-03-04 | 中船动力研究院有限公司 | 发动机的程序开发方法及装置、发动机的控制系统 |
CN117332760A (zh) * | 2023-09-28 | 2024-01-02 | 北京云枢创新软件技术有限公司 | 一种验证计划辅助编辑方法、电子设备及存储介质 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2011060655A1 (zh) * | 2009-11-23 | 2011-05-26 | 中兴通讯股份有限公司 | 软件业务功能覆盖率的统计方法及系统 |
CN102542110A (zh) * | 2011-12-29 | 2012-07-04 | 北京时代民芯科技有限公司 | 一种应用于移动存储soc芯片的仿真验证方法 |
CN104065536A (zh) * | 2014-07-02 | 2014-09-24 | 浪潮集团有限公司 | 基于uvm验证方法的以太网交换机fpga验证方法 |
-
2015
- 2015-09-01 CN CN201510555353.2A patent/CN105573908A/zh active Pending
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2011060655A1 (zh) * | 2009-11-23 | 2011-05-26 | 中兴通讯股份有限公司 | 软件业务功能覆盖率的统计方法及系统 |
CN102542110A (zh) * | 2011-12-29 | 2012-07-04 | 北京时代民芯科技有限公司 | 一种应用于移动存储soc芯片的仿真验证方法 |
CN104065536A (zh) * | 2014-07-02 | 2014-09-24 | 浪潮集团有限公司 | 基于uvm验证方法的以太网交换机fpga验证方法 |
Cited By (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107193738A (zh) * | 2017-05-19 | 2017-09-22 | 郑州云海信息技术有限公司 | 一种基于功能点覆盖动态调整随机约束的验证方法 |
CN107423222A (zh) * | 2017-08-08 | 2017-12-01 | 腾讯科技(深圳)有限公司 | 一种确定测试覆盖率的方法及设备 |
CN107423222B (zh) * | 2017-08-08 | 2018-05-22 | 腾讯科技(深圳)有限公司 | 一种确定测试覆盖率的方法及设备 |
CN107480382A (zh) * | 2017-08-21 | 2017-12-15 | 中国电子科技集团公司第五十四研究所 | 一种快速收敛的覆盖率驱动验证方法 |
CN107797923A (zh) * | 2017-10-10 | 2018-03-13 | 平安科技(深圳)有限公司 | 代码覆盖率分析方法及应用服务器 |
CN108563580A (zh) * | 2017-12-27 | 2018-09-21 | 贵阳忆芯科技有限公司 | 介质接口控制器微码执行路径提取方法 |
CN108563580B (zh) * | 2017-12-27 | 2024-02-23 | 贵阳忆芯科技有限公司 | 介质接口控制器微码执行路径提取方法 |
CN112527587A (zh) * | 2020-12-03 | 2021-03-19 | 深圳大普微电子科技有限公司 | 一种验证进度确定方法、装置、设备及可读存储介质 |
CN114137873A (zh) * | 2021-11-23 | 2022-03-04 | 中船动力研究院有限公司 | 发动机的程序开发方法及装置、发动机的控制系统 |
CN117332760A (zh) * | 2023-09-28 | 2024-01-02 | 北京云枢创新软件技术有限公司 | 一种验证计划辅助编辑方法、电子设备及存储介质 |
CN117332760B (zh) * | 2023-09-28 | 2024-05-10 | 北京云枢创新软件技术有限公司 | 一种验证计划辅助编辑方法、电子设备及存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN105573908A (zh) | 一种功能验证方法和装置 | |
CN100428252C (zh) | 一种功能覆盖率测试度量系统和方法 | |
CN106021044B (zh) | 可重用spi总线协议模块验证环境平台及其验证方法 | |
US10614642B2 (en) | Method and device for unlocking air conditioning unit and server | |
CN105607509B (zh) | 一种工业无线控制系统半物理安全实验平台 | |
CN110618929A (zh) | 一种基于uvm的对称加密算法的验证平台和验证方法 | |
CN104038605B (zh) | 电话pos支付终端交易测试的方法 | |
CN104486169B (zh) | 可重用自动检测及随机验证系统和方法 | |
CN106802862A (zh) | 列车运行控制系统安全关键软件自动测试平台 | |
CN107220539B (zh) | 基于需求的ima安全验证分析方法 | |
CN101093521A (zh) | 一种fpga仿真装置及其方法 | |
CN103049379B (zh) | 一种系统测试的方法 | |
CN108984403A (zh) | Fpga逻辑代码的验证方法及装置 | |
CN108958225A (zh) | 核电厂安全级dcs平台集成测试装置 | |
CN105810273B (zh) | 一种核电站虚拟盘台及虚拟盘台测试方法 | |
CN104699617A (zh) | 一种游戏用自动化测试方法 | |
CN109086197A (zh) | 城市轨道交通cbtc系统的验收测试方法及系统 | |
CN108763981A (zh) | 一种基于uvm的rfid阅读器验证平台及验证方法 | |
CN104462626A (zh) | 基于vmm验证方法学的rfif验证平台及实现方法 | |
CN105118100B (zh) | 车载电子标签程序更新方法、移动终端及程序更新系统 | |
CN108733929B (zh) | 一种加密混合模型的信号完整性仿真方法 | |
CN107220169B (zh) | 一种模拟服务器返回定制化数据的方法和设备 | |
CN104636521A (zh) | 基于vmm的智能卡芯片安检验证方法及验证环境平台 | |
CN102567162B (zh) | 一种基于dsp核的物理层系统验证装置及方法 | |
CN109144668B (zh) | Rfid仿真用例实现方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
DD01 | Delivery of document by public notice |
Addressee: Gai Ana Document name: Notification of Acceptance of Patent Application |
|
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 | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20160511 |