随机约束和覆盖组同步方法

实质审查的生效

摘要

本发明公开了一种随机约束和覆盖组同步方法，包含如下步骤：S1：在gen_ignore_bins方法中声明并构造目标的随机对象；S2：遍历覆盖组的交叉覆盖点的组合，获得遍历的值；S3：将遍历的值指定赋给待检查的随机对象的数据成员；S4：将预设的参数null传递到随机方法中，以将随机约束求解方法当作随机约束的检测器来使用；S5：调用该随机约束检测器检查随机对象中数据成员的值是否符合随机约束所约束的合法区间范围值，从而做出相应操作；S6：重复执行上述步骤S2、步骤S3、步骤S4和步骤S5，直至遍历完所有覆盖组的交叉覆盖点的组合。本发明将参数传递到随机方法来将原先的随机产生器当作检测器来使用，从而创新性的应用实现了随机约束和覆盖组之间的关联同步。

基本信息

专利标题：

随机约束和覆盖组同步方法

专利标题（英）：

暂无

公开（公告）号：

CN114492258A

申请号：

CN202210086418.3

公开（公告）日：

2022-05-13

申请日：

2022-01-25

授权号：

暂无

授权日：

暂无

发明人：

马骁

申请人：

杭州云合智网技术有限公司

申请人地址：

浙江省杭州市萧山区萧山经济技术开发区建设二路858号集成电路设计产业园D幢107室

代理机构：

上海洞见未来专利代理有限公司

代理人：

苗绘

优先权：

CN202210086418.3

主分类号：

G06F30/33

IPC分类号：

G06F30/33

IPC结构图谱

G部——物理

G06

计算；推算或计数

G06F

电数字数据处理

G06F30/33

设计验证，例如功能仿真或模型检查

法律状态

2022-05-31 ：

实质审查的生效

IPC(主分类) : G06F 30/33
申请日 : 20220125

2022-05-13 ：

公开

注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。

文件下载

暂无PDF文件可下载