针对相互依赖的成员变量的随机约束方法
基本信息
| 申请号 | CN202210086442.7 | 申请日 | - |
| 公开（公告）号 | CN114492259A | 公开（公告）日 | 2022-05-13 |
| 申请公布号 | CN114492259A | 申请公布日 | 2022-05-13 |
| 分类号 | G06F30/33（2020.01）I | 分类 | 计算；推算；计数; |
| 发明人 | 马骁 | 申请（专利权）人 | 杭州云合智网技术有限公司 |
| 代理机构 | 上海洞见未来专利代理有限公司 | 代理人 | - |
| 地址 | 311200浙江省杭州市萧山区萧山经济技术开发区建设二路858号集成电路设计产业园D幢107室 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种针对相互依赖的成员变量的随机约束方法，包含如下步骤：获取若干成员变量，若干成员变量派生于DUT的配置对象；在若干成员变量内增加接口方法；对若干成员变量进行分层处理，获得分层数据，用于使能或关闭不同层次的成员变量的随机约束；根据分层数据进行使能或关闭不同层次的成员变量的随机约束，完成若干成员变量的随机约束的求解。本发明将随机约束求解过程进行了分层，使得彼此之间相互关联的随机变量的依赖关系变得更加清晰，帮助验证开发人员对随机约束过程的理解，从而降低对验证过程中出现的问题进行调试的难度。 |
