[发明专利]基于UVM功能覆盖率驱动的验证方法、装置及设备有效
申请号: | 202110528025.9 | 申请日: | 2021-05-14 |
公开(公告)号: | CN113297071B | 公开(公告)日: | 2022-08-19 |
发明(设计)人: | 缑佳禛;邵海波;贾晓龙 | 申请(专利权)人: | 山东云海国创云计算装备产业创新中心有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 北京集佳知识产权代理有限公司 11227 | 代理人: | 侯珊 |
地址: | 250001 山东省济南市自由贸易试验*** | 国省代码: | 山东;37 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 基于 uvm 功能 覆盖率 驱动 验证 方法 装置 设备 | ||
本发明公开了一种基于UVM功能覆盖率驱动的验证方法,应用于UVM验证平台,该方法包括以下步骤:采集预生成的随机变量;判断变量队列中是否存在随机变量;若否,则利用随机变量对目标算法模块进行验证;若是,则对随机变量进行剔除操作;获取当前已验证随机变量占预设变量范围的目标覆盖率;判断目标覆盖率是否达到预设覆盖率;若否,则重复执行采集预生成的随机变量的步骤,直至达到预设覆盖率;若是,则确定对目标算法模块的随机验证完成。应用本发明所提供的基于UVM功能覆盖率驱动的验证方法,提高了验证效率,节省了运算资源。本发明还公开了一种基于UVM功能覆盖率驱动的验证装置、设备及存储介质,具有相应技术效果。
技术领域
本发明涉及软件测试技术领域,特别是涉及一种基于UVM功能覆盖率驱动的验证方法、装置、设备及计算机可读存储介质。
背景技术
随着计算机技术的发展,计算机代替人力进行很多的计算任务,在开发一款算法模块之后,需要对算法模块的功能进行验证。算法模块的验证一直是验证中的难点,算法模块的验证不像控制模块,相同的运算单元不需要前后数据的关联,每个运算数据都是相互独立的,但由于其数据量巨大,大部分运算的数据必须覆盖,才能保障算法模块的验证充分。
目前流行算法模块是通过随机运算变量进行算法运算,并将算法模块的计算结果与标准结果比对,从而完成算法模块的验证。但是运算变量的随机控制基本上都是通过在uvm_item模块中进行随机约束,因为在随机过程中产生的无效随机变量是巨大的,会消耗大量的仿真时间和运算资源去完成有效的运算数据随机,从而导致验证效率低,资源耗费严重。
综上所述,如何有效地解决现有的算法模块验证方法,验证效率低,资源耗费严重等问题,是目前本领域技术人员急需解决的问题。
发明内容
本发明的目的是提供一种基于UVM功能覆盖率驱动的验证方法,该方法提高了验证效率,节省了运算资源;本发明的另一目的是提供一种基于UVM功能覆盖率驱动的验证装置、设备及计算机可读存储介质。
为解决上述技术问题,本发明提供如下技术方案:
一种基于UVM功能覆盖率驱动的验证方法,应用于UVM验证平台,包括:
采集预生成的随机变量;
判断变量队列中是否存在所述随机变量;
若否,则利用所述随机变量对目标算法模块进行验证;
若是,则对所述随机变量进行剔除操作;
获取当前已验证随机变量占预设变量范围的目标覆盖率;
判断所述目标覆盖率是否达到预设覆盖率;
若否,则重复执行所述采集预生成的随机变量的步骤,直至达到所述预设覆盖率;
若是,则确定对所述目标算法模块的随机验证完成。
在本发明的一种具体实施方式中,采集预生成的随机变量,包括:
采集按照预置变量收集范围预生成的随机变量。
在本发明的一种具体实施方式中,在采集预生成的随机变量之后,判断变量队列中是否存在所述随机变量之前,还包括:
将所述随机变量转换成TLM事务级随机变量。
在本发明的一种具体实施方式中,在所述目标覆盖率达到预设覆盖率之后,还包括:
接收预输入的各直接变量;
利用各所述直接变量对所述目标算法模块进行验证。
在本发明的一种具体实施方式中,当确定变量队列中不存在所述随机变量时,还包括:
将所述随机变量输入至所述变量队列。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于山东云海国创云计算装备产业创新中心有限公司,未经山东云海国创云计算装备产业创新中心有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202110528025.9/2.html,转载请声明来源钻瓜专利网。