逻辑电路设计的验证方法、装置、电子设备及存储介质

发明专利有效专利

申请号：
CN201710693558.6
IPC分类号：G06F17/50
申请日期：
2017-08-14
申请人：
深圳云天励飞技术有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	逻辑电路设计的验证方法、装置、电子设备及存储介质
申请号	CN201710693558.6	申请日期	2017-08-14
法律状态	授权	申报国家	中国
公开/公告日	2017-10-13	公开/公告号	CN107247859A
优先权	暂无	优先权号	暂无
主分类号	G06F17/50 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F17/00 特别适用于特定功能的数字计算设备或数据处理设备或数据处理方法〔6〕 G06F17/50 计算机辅助设计（静态存储的测试电路的设计入G11C 29/54）〔6，8〕	IPC分类号	G;0;6;F;1;7;/;5;0查看分类表>
申请人	深圳云天励飞技术有限公司	申请人地址	广东省深圳市福田区变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	深圳云天励飞技术有限公司	当前权利人	深圳云天励飞技术有限公司
发明人	韦国恒;田守政
代理机构	深圳市赛恩倍吉知识产权代理有限公司	代理人	曾柳燕

摘要

本发明提供一种逻辑电路设计的验证方法，包括通过验证平台生成配置数据及激励数据；将配置及激励数据存储至目标存储器；通过验证平台将配置及所述激励数据发送至待验对象；通过验证平台控制参考对象从目标存储器中读取配置及激励数据，以使参考对象开始仿真计算；待验对象为用第一语言实现算法的逻辑电路代码，参考对象是第二语言实现相同算法的代码，通过验证平台控制参考对象结束仿真计算；通过验证平台获取参考对象的输出数据；通过验证平台获取待验对象的输出数据；根据参考对象及待验对象的输出数据确定待验对象的验证结果。本发明还提供一种逻辑电路设计的验证装置。本发明实现了准确的验证待验对象的目的。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供