专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果199388个,建议您升级VIP下载更多相关专利
  • [发明专利]针对相互依赖的成员变量随机约束方法-CN202210086442.7在审
  • 马骁 - 杭州云合智网技术有限公司
  • 2022-01-25 - 2022-05-13 - G06F30/33
  • 本发明公开了一种针对相互依赖的成员变量随机约束方法,包含如下步骤:获取若干成员变量,若干成员变量派生于DUT的配置对象;在若干成员变量内增加接口方法;对若干成员变量进行分层处理,获得分层数据,用于使能或关闭不同层次的成员变量随机约束;根据分层数据进行使能或关闭不同层次的成员变量随机约束,完成若干成员变量随机约束的求解。本发明将随机约束求解过程进行了分层,使得彼此之间相互关联的随机变量的依赖关系变得更加清晰,帮助验证开发人员对随机约束过程的理解,从而降低对验证过程中出现的问题进行调试的难度。
  • 针对相互依赖成员变量随机约束方法

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top