专利名称
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果31个,建议您升级VIP下载更多相关专利
  • [发明专利]一种电路验证方法、装置、电子设备及可读存储介质-CN202310934163.6在审
  • 石侃;翁伟杰;张子卿;蔡礼嘉;包云岗 - 北京开源芯片研究院
  • 2023-07-27 - 2023-08-29 - G06F30/331
  • 本发明实施例提供一种电路验证方法、装置、电子设备及可读存储介质,该方法包括:获取设计文件,所述设计文件包括被测设计和断言语句;所述断言语句用于验证所述被测设计是否满足测试条件;将所述断言语句转化为断言电路,所述断言电路为寄存器转换级电路;基于所述被测设计和所述断言电路,生成目标网表;根据所述目标网表将所述被测设计和所述断言电路配置到集成电路芯片中;运行所述集成电路芯片,并监测所述被测设计的断言结果;在所述被测设计的断言覆盖率满足预设条件的情况下,确定所述被测设计通过验证。本发明实施例可以利用断言电路来揭示被测设计内部状态和潜在问题,解决了FPGA仿真缺乏设计细节的低级可见性的问题。
  • 一种电路验证方法装置电子设备可读存储介质
  • [发明专利]断言验证方法、断言验证平台、电子设备及可读存储介质-CN202310934159.X在审
  • 石侃;张子卿;翁伟杰;包云岗 - 北京开源芯片研究院
  • 2023-07-27 - 2023-08-29 - G06F30/331
  • 本发明实施例提供一种断言验证方法、断言验证平台、电子设备及可读存储介质,涉及计算机技术领域。其中的断言验证方法应用于断言验证平台,所述断言验证平台包括可编程逻辑芯片,所述可编程逻辑芯片中配置有被测设计、覆盖率监视器和硬件化断言测试集;所述方法包括:利用所述硬件化断言测试集对所述被测设计进行断言验证,并通过所述覆盖率监视器确定所述被测设计的断言覆盖率;在所述被测设计的断言覆盖率满足预设条件的情况下,确定所述被测设计通过验证。在本发明实施例提供的断言验证平台中,不可综合的断言语句被转化为等效硬件化断言测试集,实现了用硬件对被测设计进行调试加速。
  • 断言验证方法平台电子设备可读存储介质

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

钻瓜专利网在线咨询

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

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