[发明专利]一种用于逻辑电路变更点搜寻方法及装置有效
申请号: | 200910107343.7 | 申请日: | 2009-05-18 |
公开(公告)号: | CN102110176A | 公开(公告)日: | 2011-06-29 |
发明(设计)人: | 罗振兴;卢建邦 | 申请(专利权)人: | 晨星软件研发(深圳)有限公司;晨星半导体股份有限公司 |
主分类号: | G06F17/50 | 分类号: | G06F17/50 |
代理公司: | 深圳市顺天达专利商标代理有限公司 44217 | 代理人: | 易钊 |
地址: | 518057 广东省深圳市高新*** | 国省代码: | 广东;44 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明涉及一种用于逻辑电路搜寻变更点方法及装置。该方法定义一指示地图并执行功能等效检查以判断该指示地图是否正确。若判断结果为是,该方法在逻辑电路的缓存器传输级硬件描述语言加入陷阱,以使逻辑电路的绕线后逻辑闸级硬件描述语言产生多个比较点。接着,该方法根据该多个比较点对逻辑电路的绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以寻找变更点。使用本发明的技术方案,节省了在复杂逻辑电路的绕线后逻辑闸级硬件描述语言中找到可能的工程变更命令点的时间及精力。 | ||
搜索关键词: | 一种 用于 逻辑电路 变更 搜寻 方法 装置 | ||
【主权项】:
一种用于逻辑电路搜寻变更点的方法,该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸级硬件描述语言,再通过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言,其特征在于,该方法包含下列步骤:定义一指示地图,该指示地图用以指示多个引脚;当执行功能等效检查判断该指示地图是正确时,在该缓存器传输级硬件描述语言加入至少一陷阱,使得该绕线后逻辑闸级硬件描述语言产生多个比较点;以及根据该多个比较点对该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到该变更点。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于晨星软件研发(深圳)有限公司;晨星半导体股份有限公司,未经晨星软件研发(深圳)有限公司;晨星半导体股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/200910107343.7/,转载请声明来源钻瓜专利网。