一种用于逻辑电路变更点搜寻方法及装置.pdf

上传人:111****112 文档编号:1031796 上传时间:2018-03-27 格式:PDF 页数:18 大小:742.33KB
返回 下载 相关 举报
摘要
申请专利号:

CN200910107343.7

申请日:

2009.05.18

公开号:

CN102110176A

公开日:

2011.06.29

当前法律状态:

授权

有效性:

有权

法律详情:

授权|||实质审查的生效IPC(主分类):G06F 17/50申请日:20090518|||公开

IPC分类号:

G06F17/50

主分类号:

G06F17/50

申请人:

晨星软件研发(深圳)有限公司; 晨星半导体股份有限公司

发明人:

罗振兴; 卢建邦

地址:

518057 广东省深圳市高新区南区高新南一道中国科技开发院三期4楼/5楼

优先权:

专利代理机构:

深圳市顺天达专利商标代理有限公司 44217

代理人:

易钊

PDF下载: PDF下载
内容摘要

本发明涉及一种用于逻辑电路搜寻变更点方法及装置。该方法定义一指示地图并执行功能等效检查以判断该指示地图是否正确。若判断结果为是,该方法在逻辑电路的缓存器传输级硬件描述语言加入陷阱,以使逻辑电路的绕线后逻辑闸级硬件描述语言产生多个比较点。接着,该方法根据该多个比较点对逻辑电路的绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以寻找变更点。使用本发明的技术方案,节省了在复杂逻辑电路的绕线后逻辑闸级硬件描述语言中找到可能的工程变更命令点的时间及精力。

权利要求书

1: 一种用于逻辑电路搜寻变更点的方法, 该逻辑电路源自于一缓存器传输级硬件描述 语言, 经合成后转换为一合成逻辑闸级硬件描述语言, 再通过自动布局绕线法转换为一绕 线后逻辑闸级硬件描述语言, 其特征在于, 该方法包含下列步骤 : 定义一指示地图, 该指示地图用以指示多个引脚 ; 当执行功能等效检查判断该指示地图是正确时, 在该缓存器传输级硬件描述语言加入 至少一陷阱, 使得该绕线后逻辑闸级硬件描述语言产生多个比较点 ; 以及 根据该多个比较点对该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查, 以在该绕线后逻辑闸级硬件描述语言中找到该变更点。
2: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 该变更点是 工程变更命令点。
3: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 在判断该指 示地图是否正确的步骤后还包含下列步骤 : 当判断该逻辑电路中是否包含具有多输入端的功能组件的结果为是时, 将具有多输入 端的功能组件分解成多个具有两输入端的功能组件。
4: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 其中该逻辑 电路的输入端包含一频率引脚、 一测试引脚、 一扫描引脚、 一数据复制引脚及一数据倒转引 脚。
5: 根据权利要求 4 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 其中该指示 地图包含该频率引脚、 该测试引脚、 该扫描引脚、 该数据复制引脚及该数据倒转引脚的位置 信息。
6: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 其中该逻辑 电路包含多个输出引脚及一触发器, 该多个比较点选自该多个输出引脚以及该触发器的一 输入引脚。
7: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 在加入该至 少一陷阱的步骤后还包含下列步骤 : 根据该比较点定义该逻辑电路中的一扇入锥区域, 其中该扇入锥区域是由该逻辑电路 的输入端向输出端变窄 ; 以及 当判断位于该扇入锥区域内的功能组件是否符合一特定条件的结果为是, 及其中该特 定条件是对应于该至少一陷阱时, 定义符合该特定条件的功能组件为待检查功能组件。
8: 根据权利要求 7 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 其中在以该 反向顺序执行功能等效检查的步骤中, 是在该扇入锥区域内依该反向顺序对该等待检查功 能组件进行功能等效检查, 以从该等待检查功能组件中找出该变更点。
9: 根据权利要求 1 所述的用于逻辑电路搜寻变更点的方法, 其特征在于, 其中该至少 一陷阱与工程变更命令的变更有关。
10: 一种用于逻辑电路搜寻变更点的装置, 该逻辑电路源自于一缓存器传输级硬件描 述语言, 经合成后转换为一合成逻辑闸级硬件描述语言, 再通过自动布局绕线法转换为一 绕线后逻辑闸级硬件描述语言, 该搜寻变更点的装置包含 : 一定义模块, 该定义模块耦接至该逻辑电路, 该定义模块用以定义一指示地图, 该指示 地图用以指示出多个引脚 ; 2 一验证模块, 该验证模块耦接至该定义模块及该逻辑电路, 该验证模块用以对该指示 地图执行功能等效检查以判断该指示地图是否正确 ; 一比较模块, 该比较模块耦接至该验证模块及该逻辑电路, 若该验证模块的判断结果 为是, 该比较模块在该逻辑电路的该缓存器传输级硬件描述语言加入至少一陷阱, 使得该 绕线后逻辑闸级硬件描述语言产生多个比较点 ; 以及 一检查模块, 该检查模块耦接至该比较模块及该逻辑电路, 用以根据该多个比较点对 该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查, 以在该绕线后逻辑闸级硬 件描述语言中找到该变更点。
11: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该变 更点是一工程变更命令点。
12: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 进一步包 含: 一分解模块, 该分解模块耦接至该验证模块、 该比较模块及该逻辑电路, 该分解模块用 以判断该逻辑电路中是否包含具有多输入端的功能组件, 若判断结果为是, 该分解模块将 具有多输入端的功能组件分解成多个具有两输入端的功能组件。
13: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该逻 辑电路的输入端包含一频率引脚、 一测试引脚、 一扫描引脚、 一数据复制引脚及一数据倒转 引脚。
14: 根据权利要求 13 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该指 示地图包含该频率引脚、 该测试引脚、 该扫描引脚、 该数据复制引脚及该数据倒转引脚的位 置信息。
15: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该逻 辑电路包含多个输出引脚及一触发器, 该多个比较点选自该多个输出引脚以及该触发器的 一输入引脚。
16: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 进一步包 含: 一限定模块, 该限定模块耦接至该比较模块、 该检查模块及该逻辑电路, 该限定模块用 以根据该比较点定义该逻辑电路中的一扇入锥区域并判断位于该扇入锥区域内的功能组 件是否符合一特定条件, 若判断结果为是, 该限定模块定义符合该特定条件的功能组件为 待检查功能组件。
17: 根据权利要求 16 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该扇 入锥区域是由该逻辑电路的输入端向输出端变窄。
18: 根据权利要求 16 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该特 定条件对应于该至少一陷阱。
19: 根据权利要求 16 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该检 查模块是在该扇入锥区域内以反向顺序对该等待检查功能组件进行功能等效检查, 以从该 等待检查功能组件中找出该变更点。
20: 根据权利要求 10 所述的用于逻辑电路搜寻变更点的装置, 其特征在于, 其中该至 少一陷阱是与工程变更命令的变更有关。

说明书


一种用于逻辑电路变更点搜寻方法及装置

    【技术领域】
     本发明涉及逻辑电路 (logic circuit), 具体涉及一种能够在逻辑电路中快速找 到工程变更命令 (Engineering Change Order, ECO) 点的变更点搜寻方法及装置。背景技术
     随着电子科技的不断发展, 各式各样的电子产品的体积越来越轻薄短小, 但其具 备的功能却越来越多。因此, 在面积相当小的芯片中必须设置有数目非常庞大的各种电子 组件, 才足以应付电子产品的实际需求。
     在传统的 IC 设计流程中, 工程变更命令是属于整个设计流程后端的工程变更步 骤。假设一逻辑电路源自于缓存器传输级 (Register Transfer Level, RTL) 硬件描述语 言, 经合成 (synthesized) 后转换为合成逻辑闸级 (gate level) 硬件描述语言, 接着, 再通 过自动布局绕线法 (Automatic Placement and Routing, APR) 转换为最佳化 (optimized) 的绕线后逻辑闸级硬件描述语言。 在此过程中, 由于该逻辑电路经过了合成及自动布局绕线等程序, 该逻辑电路包 含的所有功能组件之间将会彼此进行耦接、 合并或化简, 以使得逻辑电路能够通过时序限 制 (timing constraint) 并且缩小其使用面积, 因此, 当设计者想要对该逻辑电路的绕线后 逻辑闸级硬件描述语言进行工程变更命令的修改, 将会变的相当困难。
     其最大的难处在于, 设计者必须分别对于该逻辑电路的缓存器传输级硬件描述语 言以及绕线后逻辑闸级硬件描述语言的功能组件进行逻辑等效检查 (logical equivalent check), 才能确保设计者在该逻辑电路所进行的修改无论是在缓存器传输级硬件描述语言 的阶段以及绕线后逻辑闸级硬件描述语言的阶段均为正确无误的。也就是说, 为了进行工 程变更命令的修改, 设计者必须反复回到合成逻辑闸级硬件描述语言的阶段及绕线后逻辑 闸级硬件描述语言的阶段, 再次执行繁琐的数据汇出和汇入作业。
     然而, 很明显地, 要在已合成且最佳化的该逻辑电路的绕线后逻辑闸级硬件描述 语言中寻找可能的工程变更命令点远比在原本的缓存器传输级硬件描述语言中寻找可能 的工程变更命令点困难。因此, 为了进行工程变更命令的修改, 设计者势必要花费大量的 时间及精力在复杂的该逻辑电路的绕线后逻辑闸级硬件描述语言中找到可能的工程变更 命令点, 这将会严重影响整个 IC 设计流程的进度, 因而导致后续产品生产及上市时间的延 迟。
     发明内容 本发明要解决的技术问题在于, 针对现有技术的上述在复杂的逻辑电路的绕线后 逻辑闸级硬件描述语言中找到可能的工程变更命令点需花费大量的时间及精力的缺陷, 提 供一种节省时间和精力的变更点搜寻装置。
     本发明解决其技术问题所采用的技术方案是 : 构造一种用于逻辑电路搜寻变更点 的装置, 该逻辑电路源自于一缓存器传输级硬件描述语言, 经合成后转换为一合成逻辑闸
     级硬件描述语言, 再通过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言。在本发 明所述的用于逻辑电路搜寻变更点的装置, 该变更点搜寻装置包含一定义模块、 一验证模 块、 一比较模块及一检查模块。该定义模块耦接至该逻辑电路, 并用以定义一指示地图, 其 中, 该指示地图用以指示出多个引脚。 该验证模块耦接至该定义模块, 并用以对该指示地图 执行功能等效检查以判断该指示地图是否正确。该比较模块耦接至该验证模块及该逻辑 电路, 若该验证模块的判断结果为是, 该比较模块将会在该逻辑电路的该缓存器传输级硬 件描述语言加入陷阱, 以使得该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较 点。该检查模块耦接至该比较模块及该逻辑电路, 并用以根据该多个比较点对该逻辑电路 的该绕线后逻辑闸级硬件描述语言反向执行功能等效检查, 以在该绕线后逻辑闸级硬件描 述语言中找到一变更点。
     本发明还构造一种用于逻辑电路变更点搜寻方法, 该逻辑电路源自于一缓存器传 输级硬件描述语言, 经合成后转换为一合成逻辑闸级硬件描述语言, 再通过自动布局绕线 法转换为一绕线后逻辑闸级硬件描述语言。在该变更点搜寻方法中, 首先, 定义一指示地 图, 该指示地图用以指示出多个引脚 ; 接着, 执行功能等效检查以判断该指示地图是否正 确; 若上述判断结果为是, 在该逻辑电路的该缓存器传输级硬件描述语言加入陷阱, 以使得 该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较点 ; 根据该多个比较点对该逻 辑电路的该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查, 以在该绕线后逻 辑闸级硬件描述语言中找到一变更点。该变更点可以是一工程变更命令点 ; 该至少一陷阱 可以是一工程变更命令的变更, 但不以此为限。
     相比现有技术, 根据本发明所述的用于逻辑电路的变更点搜寻方法及装置是通过 在逻辑电路的缓存器传输级硬件描述语言加入陷阱 ( 即工程变更命令的变更 ), 使得逻辑 电路的绕线后逻辑闸级硬件描述语言也会出现相对应的比较点, 接着, 该变更点搜寻装置 再通过限定模块逐步缩小工程变更命令点可能出现的范围, 故能够迅速地在逻辑电路的绕 线后逻辑闸级硬件描述语言找到所需的工程变更命令点。
     因此, 通过本发明提出的变更点搜寻方法以及变更点搜寻装置的帮助, 设计者即 可大幅节省原先花费在复杂的逻辑电路的绕线后逻辑闸级硬件描述语言中寻找可能的工 程变更命令点的时间及精力, 因此可有效提升整个 IC 设计流程的效率, 也可缩短产品上市 的时间, 以提升其竞争力。
     关于本发明的优点与精神可以由以下的发明详述及所附图得到进一步的了解。 附图说明 下面将结合附图及实施例对本发明作进一步说明, 附图中 :
     图 1 是本发明第一具体实施例的变更点搜寻装置的功能方块图 ;
     图 2(A) 是逻辑电路的合成逻辑闸级硬件描述语言的功能地图的示意图 ;
     图 2(B) 为图 2(A) 的合成逻辑闸级硬件描述语言经过自动布局绕线后的绕线后逻 辑闸级硬件描述语言的功能地图的示意图 ;
     图 3(A) 是本发明在逻辑电路的缓存器传输级硬件描述语言的程序编码中加入陷 阱的示意图 ;
     图 3(B) 是在该逻辑电路的绕线后逻辑闸级硬件描述语言找出比较点并定义扇入
     锥区域的示意图 ;
     图 4(A) 和图 4(B) 是本发明逻辑电路的缓存器传输级硬件描述语言的回馈多任务 器经过合成逻辑闸级硬件描述语言的示意图 ;
     图 4(C) 是对图 4(B) 的合成逻辑闸级硬件描述语言进行扇入锥功能失效测试的示 意图 ;
     图 5(A) 和图 5(B) 是分别对不同的逻辑电路的合成逻辑闸级硬件描述语言进行扇 入锥功能失效测试的示意图 ;
     图 6 是本发明的第二具体实施例的变更点搜寻方法的流程图。
     主要组件符号说明 :
     S10 ~ S28 : 流程步骤
     1: 变更点搜寻装置 10 : 定义模块
     12 : 验证模块 14 : 分解模块
     16 : 比较模块 18 : 限定模块
     20 : 检查模块 30、 50、 60 : 扇入锥区域
     2: 合成逻辑闸级硬件描述语言
     21 : 扫描引脚 22 : 测试引脚 23 : 数据复制引脚 24 : 数据倒转引脚 25 : 频率引脚 26、 42 : 触发器 8: 锁相回路 9: 探针 2′、 3、 4′、 5、 6: 绕线后逻辑闸级硬件描述语言 4: 缓存器传输级硬件描述语言 41 : 回馈多任务器 D: 触发器的输入端 411′~ 412′ : 功能组件 P1 ~ P13 : 测试点 27、 271′~ 272′、 31 ~ 34、 51 ~ 55、 61 ~ 72 : 逻辑组件 AOI21、 NAND4 : 电路模块 Q: 触发器的输出端 in1 ~ in3、 A0 ~ A1、 B0、 A~D: 输入引脚 ou1 ~ out6、 out、 Y: 输出引脚具体实施方式
     本发明的主要目的在于提出一种变更点搜寻方法以及变更点搜寻装置。 实施本发 明的技术方案, 设计者即可大幅节省原先花费在复杂的逻辑电路的绕线后逻辑闸级硬件描 述语言中寻找可能的工程变更命令点的时间, 以提升整个 IC 设计流程的效率, 避免由于设 计流程后端的工程变更导致后续产品生产及上市时间的延迟。
     在本发明所述的用于逻辑电路的变更点的搜寻装置, 该变更点可以是工程变更命 令点, 但不以此为限。 在此实施例中, 该逻辑电路源自于一缓存器传输级硬件描述语言的网 络表 (netlist), 经过合成后转换为一合成逻辑闸级硬件描述语言的网络表, 接着, 该逻辑 电路再通过自动布局绕线法转换为最佳化的一绕线后逻辑闸级硬件描述语言的网络表。
     请参照图 1, 图 1 示出了本发明的第一具体实施例的变更点搜寻装置的功能方块 图。如图 1 所示, 变更点搜寻装置 1 包含定义模块 10、 验证模块 12、 分解模块 14、 比较模块16、 限定模块 18 及检查模块 20。其中, 验证模块 12 耦接至定义模块 10 及分解模块 14 ; 比 较模块 16 耦接至分解模块 14 及限定模块 18 ; 检查模块 20 耦接至限定模块 18 ; 定义模块 10、 验证模块 12、 分解模块 14、 比较模块 16、 限定模块 18 及检查模块 20 均耦接至一逻辑电 路 ( 未示出 ), 以在该逻辑电路中寻找一目标工程变更命令点, 接下来, 将分别对变更点搜 寻装置 1 所包含的各模块及其功能进行介绍。
     请先参照图 2(A) 及图 2(B), 图 2(A) 为合成逻辑闸级硬件描述语言的功能地图的 示意图, 而图 2(B) 为图 2(A) 的合成逻辑闸级硬件描述语言经过自动布局绕线后转换为绕 线后逻辑闸级硬件描述语言的功能地图的示意图。如图 2(A) 所示, 该逻辑电路的合成逻 辑闸级硬件描述语言 2 的输入端包含有扫描引脚 (scan pin)21、 测试引脚 (test pin)22、 数据复制引脚 (data clone pin)23、 数据倒转引脚 (data inverter pin)24 及频率引脚 (clock pin)25, 其中, 该扫描引脚 21 耦接至探针 9 ; 频率引脚 25 耦接至锁相回路 (Phase Loop Lock, PLL)8 以及该逻辑电路内的触发器 (Flip-Flop, FF)26, 但不以此为限。
     当图 2(A) 中的该逻辑电路的合成逻辑闸级硬件描述语言 2 经过自动布局绕线程 序后, 便会成为图 2(B) 所示的绕线后逻辑闸级硬件描述语言 2′。比较图 2(A) 及图 2(B) 可知, 在此实施例中, 绕线后逻辑闸级硬件描述语言 2′与合成逻辑闸级硬件描述语言 2 的 差别仅在于 : 原本耦接至数据复制引脚 23 的逻辑组件 27 经过自动布局绕线后, 将会分解成 两个逻辑组件 271′及 272′。 在此实施例中, 变更点搜寻装置 1 的定义模块 10 用以根据该逻辑电路的合成逻 辑闸级硬件描述语言 2 与绕线后逻辑闸级硬件描述语言 2′定义指示地图 (instruction map), 以利于变更点搜寻装置 1 后续搜寻动作的进行。实际上, 指示地图可包含有基本比较 点信息, 因此此实施例的指示地图即可包含有扫描引脚 21、 测试引脚 22、 数据复制引脚 23、 数据倒转引脚 24、 频率引脚 25 及触发器 26 的位置信息, 但不以此为限。
     接着, 变更点搜寻装置 1 的验证模块 12 即会对该指示地图执行功能等效检查 (functional equivalent check) 以判断该指示地图是否正确。实际上, 验证模块 12 针对 该逻辑电路的缓存器传输级硬件描述语言以及绕线后逻辑闸级硬件描述语言 2′进行逻辑 组件功能的比较, 以完成功能等效检查。
     若验证模块 12 的判断结果为是, 也就是说, 验证模块 12 已经确认该指示地图无 误, 因此, 变更点搜寻装置 1 将会继续进行后续的变更点搜寻程序。
     在此实施例中, 变更点搜寻装置 1 的比较模块 16 将会在该逻辑电路的缓存器传输 级硬件描述语言加入至少一陷阱 (trap), 以使得该逻辑电路的绕线后逻辑闸级硬件描述语 言产生多个比较点 (comparing points)。在实际应用中, 该至少一陷阱与工程变更命令的 变更有关, 也就是使用者可在该逻辑电路的缓存器传输级硬件描述语言加入一些工程变更 命令的变更, 当该逻辑电路的缓存器传输级硬件描述语言经过合成及自动布局绕线而成为 绕线后逻辑闸级硬件描述语言时, 即会显示出对应于这些工程变更命令的变更的比较点。 实际上, 这些比较点可选自该逻辑电路的各输出引脚以及触发器的一输入引脚, 但不以此 为限。
     接下来, 变更点搜寻装置 1 的限定模块 18 将会根据比较点定义该逻辑电路中的一 扇入锥 (fanin cone) 区域并判断位在该扇入锥区域内的功能组件是否符合一特定条件。 其 中, 该特定条件对应于该至少一陷阱。
     在实际应用中, 限定模块 18 所进行的上述判断程序即为扇入锥功能失效测试 (fanin cone function abort test), 用以排除掉扇入锥区域内不可能为想要寻找的变更 点的功能组件, 以增进变更点搜寻装置 1 的搜寻速度。若限定模块 18 的判断结果为是, 限 定模块 18 将会定义符合该特定条件的这些功能组件为待检查功能组件。
     值得注意的是, 由于限定模块 18 已经定义出扇入锥区域内的待检查功能组件, 所 以检查模块 20 仅需以反向的顺序针对这些待检查功能组件进行功能等效检查即可, 并不 需要再对该逻辑电路的绕线后逻辑闸级硬件描述语言中的其它功能组件进行功能等效检 查, 故可大幅缩减变更点搜寻装置 1 搜寻变更点所花费的时间。实际上, 由于这些待检查功 能组件并不一定就是变更点搜寻装置 1 所要寻找的变更点, 故变更点搜寻装置 1 也可能找 不到任何变更点。
     请参照图 3, 图 3 示出了通过在该逻辑电路的缓存器传输级硬件描述语言加入陷 阱的方式找出绕线后逻辑闸级硬件描述语言的比较点的一范例。其中, 图 3(A) 示出了在该 逻辑电路的缓存器传输级硬件描述语言的程序编码中加入陷阱的叙述 ( 如虚线圈起处所 示 ) 的示意图 ; 图 3(B) 则示出了在该逻辑电路的绕线后逻辑闸级硬件描述语言找出比较点 并定义扇入锥区域的示意图。 如图 3(B) 所示, 假设在该逻辑电路的绕线后逻辑闸级硬件描述语言 3 中的比较模 块 16 所加入的陷阱 ( 即在原来的缓存器传输级硬件描述语言所作的工程变更命令的变更 ) 的比较点为输出引脚 out6 以及触发器 36 的输入端 D, 则限定模块 18 即根据上述比较点在 绕线后逻辑闸级硬件描述语言 3 内定义扇入锥区域 30, 并且扇入锥区域 30 由该逻辑电路的 输入端向输出端变窄。
     在此实施例中, 由于扇入锥区域 30 内包含有逻辑组件 31 ~ 34, 所以限定模块 18 也会以反向 ( 从输出端到输入端的方向 ) 的顺序分别对逻辑组件 31 ~ 34 进行扇入锥功能 失效测试, 以判断逻辑组件 31 ~ 34 是否可能是变更点搜寻装置 1 所要寻找的变更点的功 能组件。
     例如, 由图 3(A) 所加入的陷阱的叙述可知, 变更点搜寻装置 1 所要寻找的变更点 的功能组件所对应的输入引脚应为 (In2, In3, In4) ; 至于逻辑组件 31 ~ 34 所对应的输入 引脚分别是 (In2, In3, In4, In5)、 (In2, In3, In4)、 (In2, In4) 及 (In2, In3, In5)。经由限 定模块 18 进行比较后, 因为逻辑组件 33 及 34 所对应的输入引脚并未包含 (In2, In3, In4) 中的所有输入引脚, 故限定模块 18 即会将逻辑组件 33 及 34 加以排除, 并将逻辑组件 31 及 32 定义为待检查功能组件。因此, 检查模块 20 仅需对逻辑组件 31 及 32 进行功能等效检 查, 即可搜寻出该逻辑电路的绕线后逻辑闸级硬件描述语言中是否具有对应于比较模块 16 所加入陷阱的变更点。
     值得注意的是, 当验证模块 12 已经确认该指示地图无误后, 在比较模块 16 用于 在该逻辑电路的缓存器传输级硬件描述语言加入陷阱使得绕线后逻辑闸级硬件描述语言 产生比较点之前, 分解模块 14 可以先判断该逻辑电路中是否包含具有多输入端的功能 组件, 若分解模块 14 的判断结果为是, 代表该逻辑电路中的某些逻辑组件可能包含三个 ( 含 ) 以上的输入引脚, 此时, 分解模块 14 即会将这些具有多输入端的功能组件加以分解 (decompose) 成多个具有两输入引脚的功能组件。
     请参照图 4(A) 及图 4(B), 图 4(A) 及图 4(B) 示出了缓存器传输级硬件描述语言
     的回馈多任务器 (feedback multiplexer) 转换为绕线后逻辑闸级硬件描述语言的示意图。 如图 4(A) 所示, 缓存器传输级硬件描述语言 4 的回馈多任务器 41 包含三个输入引脚 in1、 in2 及 in3 以及一个输出引脚 out, 其中回馈多任务器 41 的输出引脚 out 耦接至触发器 42 的输入端 D 并且输入引脚 in1 耦接至触发器 42 的输出端 Q, 因此, 回馈多任务器 41 可以通 过输出引脚 out 传送一输出信号到触发器 42, 并且通过输入引脚 in1 接收触发器 42 所产生 的一回馈信号, 故回馈多任务器 41 具有回馈的功能。
     当图 4(A) 的缓存器传输级硬件描述语言 4 转换为整合性频率控制 (Integrated Clock Gating, ICG) 的绕线后逻辑闸级硬件描述语言 4′, 如图 4(B) 所示。很明显地, 当变 更点搜寻装置 1 的分解模块 14 监测到缓存器传输级硬件描述语言 4 的回馈多任务器 41 包 含三个输入引脚 in1、 in2 及 in3, 所以分解模块 14 即会将回馈多任务器 41 分解成两个包 含两输入引脚的功能组件 411′及 412′, 至于触发器 42 则不变, 只是各组件彼此间的耦接 关系有所改变。在此实施例中, 功能组件 411′为一触发器。实际上, 上述功能组件的种类 可依据实际的电路需求进行选择, 例如乘法器、 加法器等, 并无一定的限制。
     图 4(C) 则示出了对图 4(B) 的绕线后逻辑闸级硬件描述语言 4′进行扇入锥功能 失效测试的示意图。如图 4(C) 所示, 当变更点搜寻装置 1 的限定模块 18 以反向顺序对绕 线后逻辑闸级硬件描述语言 4′进行扇入锥功能失效测试时, 比较点除了原来的触发器 42 的输入端 D 之外, 还包含触发器 411′的输入端 D。
     接下来, 将以实际例子对前述的扇入锥功能失效测试作进一步的探讨。请参照图 5(A), 图 5(A) 示出了对一逻辑电路的绕线后逻辑闸级硬件描述语言进行扇入锥功能失效 测试的示意图。如图 5(A) 所示, 限定模块 18 在该逻辑电路的绕线后逻辑闸级硬件描述语 言 5 中定义了扇入锥区域 50, 扇入锥区域 50 内包含有逻辑组件 51 ~ 55, 并且测试点 P1 ~ P5 分别对应于逻辑组件 51 ~ 55。接着, 限定模块 18 即会依照反向顺序分别对扇入锥区域 50 内的测试点 P1 ~ P5 进行扇入锥功能失效测试。假设变更点搜寻装置 1 所要寻找的变更 点所对应的输入引脚为 (In2, In3, In4), 则测试点 P1 ~ P5 当中只有测试点 P1 及 P2 能够 通过此测试, 至于测试点 P3 ~ P5 则否, 故限定模块 18 会将逻辑组件 53 ~ 55 加以排除, 并 将逻辑组件 51 及 52 定义为待检查逻辑组件。
     值得注意的是, 通过扇入锥功能失效测试的逻辑组件 51 及 52 可以构成电路模块 AOI21, 其中 Y 为电路模块 AOI21 的输出引脚, A0、 A1 及 B0 为电路模块 AOI21 的输入引脚。 电路模块 AOI21 的功用在于通过逻辑组件 52 将从输入引脚 A0 及 A1 输入的信号相乘后再 与输入引脚 B0 输入的信号相加, 亦即输出引脚 Y 所输出的信号为 (A0*A1)+B0。在实际应 用中, 电路模块 AOI21 的功能地图可以储存在变更点搜寻装置 1 的一数据库 ( 未显示于图 中 ), 当分解模块 14 要分解具有多输入端的功能组件时, 即可至该数据库寻找是否有相对 应的功能地图, 以作为扇入锥功能失效测试时的参考依据。
     图 5(B) 则示出了对另一逻辑电路的绕线后逻辑闸级硬件描述语言进行扇入锥功 能失效测试的示意图。如图 5(B) 所示, 限定模块 18 在该逻辑电路的绕线后逻辑闸级硬件 描述语言 6 中定义了扇入锥区域 60, 扇入锥区域 60 内包含有逻辑组件 61 ~ 72 及测试点 P6 ~ P13, 并且测试点 P6 ~ P9 分别对应于逻辑组件 61 ~ 64 ; 测试点 P10 ~ P13 分别对应 于逻辑组件 67、 70 ~ 72。接着, 限定模块 18 即会依照反向的顺序分别对扇入锥区域 60 内 的测试点 P6 ~ P9 进行扇入锥功能失效测试。假设变更点搜寻装置 1 所要寻找的变更点所对应的输入引脚为 (In2, In3, In4), 则测试点 P6 ~ P9 当中只有测试点 P6 及 P7 能够通过 这一测试, 至于测试点 P8 及 P9 则否, 故限定模块 18 即会将对应于测试点 P8 及 P9 的逻辑 组件 63 及 64 加以排除, 并将对应于测试点 P6 及 P7 的逻辑组件 61 及 62 定义为待检查逻 辑组件。
     同理, 限定模块 18 也会依照反向的顺序分别对扇入锥区域 60 内的测试点 P10 ~ P13 进行扇入锥功能失效测试。假设变更点搜寻装置 1 所要寻找的变更点所对应的输入引 脚为 (In2, In3, In5), 则测试点 P10 ~ P13 当中只有测试点 P10 及 P11 能够通过这一测试, 至于测试点 P12 及 P13 则否, 故限定模块 18 即会将对应于测试点 P12 及 P13 的逻辑组件 71 及 72 加以排除, 并将对应于测试点 P10 及 P11 的逻辑组件 67 及 70 定义为待检查逻辑组件。 至于扇入锥区域 60 内的其它逻辑组件也可依此类推, 故不另行赘述。
     值得注意的是, 上述的逻辑组件 61 ~ 72 均属于电路模块 NAND4 的一部份。如 图 5(B) 所示, 电路模块 NAND4 包含输出引脚 Y 以及输入引脚 A ~ D, 电路模块 NAND4 的功 用在于将从输入引脚 A ~ D 输入的信号相乘后再反相, 亦即输出引脚 Y 所输出的信号为 (A*B*C*D)′。同样地, 电路模块 NAND4 的功能地图也可储存在变更点搜寻装置 1 的数据库 内, 当分解模块 14 要分解具有多输入端的功能组件时, 即可从该数据库寻找是否有相对应 的功能地图, 以作为扇入锥功能失效测试时的参考依据。 根据本发明第二实施例提供的一种用于逻辑电路变更点搜寻方法。在此实施例 中。该逻辑电路源自于一缓存器传输级硬件描述语言, 经合成后转换为一合成逻辑闸级硬 件描述语言, 接着, 再通过自动布局绕线法转换为绕线后逻辑闸级硬件描述语言。实际上, 该变更点搜寻方法所寻找的变更点可以是一工程变更命令 (Engineering Change Order, ECO) 点, 但不以此为限。
     请参照图 6, 图 6 示出了根据本发明第二实施例的变更点搜寻方法的流程图。 如图 6 所示, 首先, 该变更点搜寻方法执行步骤 S10, 定义一指示地图。在此实施例中, 该指示地 图用以指示出该逻辑电路的多个引脚。
     在实际应用中, 该逻辑电路的输入端包含有频率引脚、 测试引脚、 扫描引脚、 数据 复制引脚及数据倒转引脚等, 但不以此为限。实际上, 指示地图可包含有基本比较点信息, 故此实施例的指示地图可包含频率引脚、 测试引脚、 扫描引脚、 数据复制引脚、 数据倒转引 脚及触发器的位置信息, 但不以此为限。
     接着, 该变更点搜寻方法执行步骤 S12, 执行功能等效检查以判断该指示地图是否 正确。若步骤 S12 的判断结果为是, 该方法执行步骤 S14, 判断该逻辑电路中是否包含具有 多输入端的功能组件。若步骤 S14 的判断结果为是, 代表该逻辑电路中的某些功能组件具 有多个输入引脚, 该方法执行步骤 S16, 将这些具有多输入端的功能组件分解成多个具有两 输入端的功能组件。
     接着, 该方法执行步骤 S18, 在该逻辑电路的该缓存器传输级硬件描述语言加入至 少一陷阱, 以使得该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较点。在实际 应用中, 该至少一陷阱与工程变更命令的变更有关, 但不以此为限。此外, 该逻辑电路包含 有多个输出引脚及触发器, 该多个比较点选自该多个输出引脚及触发器的输入引脚, 但不 以此为限。
     然后, 该方法执行步骤 S20, 根据该比较点定义该逻辑电路中的一扇入锥区域, 其
     中该扇入锥区域由该逻辑电路的输入端向输出端变窄。接着, 该方法执行步骤 S22, 判断 位在该扇入锥区域内的功能组件是否符合一特定条件, 其中该特定条件对应于该至少一陷 阱。若步骤 S22 的判断结果为是, 该方法执行步骤 S24, 定义符合该特定条件的功能组件为 待检查功能组件。 因此, 该方法仅需对这些待检查功能组件进行功能等效检查, 即可快速地 搜寻出该逻辑电路的该绕线后逻辑闸级硬件描述语言中是否具有对应于该方法在步骤 S18 中所加入的陷阱的变更点。若步骤 S22 的判断结果为否, 该方法执行步骤 S26, 排除不符合 该特定条件的功能组件。
     最后, 该方法执行步骤 S28, 根据该多个比较点对该逻辑电路的该绕线后逻辑闸级 硬件描述语言以一反向顺序执行功能等效检查, 以在该绕线后逻辑闸级硬件描述语言中找 到一变更点。实际上, 该方法是在该扇入锥区域内以反向顺序对该等待检查功能组件进行 功能等效检查, 以从该等待检查功能组件中找出该变更点。
     相比现有技术, 根据本发明的变更点搜寻方法及装置通过在逻辑电路的缓存器传 输级硬件描述语言加入陷阱 ( 即在缓存器传输级硬件描述语言的工程变更命令的变更 ), 使得逻辑电路的绕线后逻辑闸级硬件描述语言也会出现相对应的比较点, 接着, 该变更点 搜寻装置再通过限定模块逐步缩小工程变更命令点可能出现的范围, 故该变更点搜寻装置 能够迅速地在逻辑电路的绕线后逻辑闸级硬件描述语言中找到所需的工程变更命令点。 因此, 通过本发明提出的变更点搜寻方法及装置的帮助, 设计者即可大幅节省原 先花费在复杂的绕线后逻辑闸级硬件描述语言电路中寻找可能的工程变更命令点的时间 及精力, 故可有效提升整个 IC 设计流程的效率, 亦可缩短产品上市的时间, 以提升其竞争 力。
     综合以上最优具体实施例的详述, 希望能更加清楚描述本发明的特征与精神, 而 并非以上述所揭露的最优具体实施例来对本发明的范围加以限制。相反地, 其目的是希望 能涵盖各种改变及具相等性的替换在本发明所要申请的专利范围内。
    

一种用于逻辑电路变更点搜寻方法及装置.pdf_第1页
第1页 / 共18页
一种用于逻辑电路变更点搜寻方法及装置.pdf_第2页
第2页 / 共18页
一种用于逻辑电路变更点搜寻方法及装置.pdf_第3页
第3页 / 共18页
点击查看更多>>
资源描述

《一种用于逻辑电路变更点搜寻方法及装置.pdf》由会员分享,可在线阅读,更多相关《一种用于逻辑电路变更点搜寻方法及装置.pdf(18页珍藏版)》请在专利查询网上搜索。

1、10申请公布号CN102110176A43申请公布日20110629CN102110176ACN102110176A21申请号200910107343722申请日20090518G06F17/5020060171申请人晨星软件研发深圳有限公司地址518057广东省深圳市高新区南区高新南一道中国科技开发院三期4楼/5楼申请人晨星半导体股份有限公司72发明人罗振兴卢建邦74专利代理机构深圳市顺天达专利商标代理有限公司44217代理人易钊54发明名称一种用于逻辑电路变更点搜寻方法及装置57摘要本发明涉及一种用于逻辑电路搜寻变更点方法及装置。该方法定义一指示地图并执行功能等效检查以判断该指示地图是否正。

2、确。若判断结果为是,该方法在逻辑电路的缓存器传输级硬件描述语言加入陷阱,以使逻辑电路的绕线后逻辑闸级硬件描述语言产生多个比较点。接着,该方法根据该多个比较点对逻辑电路的绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以寻找变更点。使用本发明的技术方案,节省了在复杂逻辑电路的绕线后逻辑闸级硬件描述语言中找到可能的工程变更命令点的时间及精力。51INTCL19中华人民共和国国家知识产权局12发明专利申请权利要求书2页说明书8页附图7页CN102110180A1/2页21一种用于逻辑电路搜寻变更点的方法,该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸级硬件描述语言,再通。

3、过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言,其特征在于,该方法包含下列步骤定义一指示地图,该指示地图用以指示多个引脚;当执行功能等效检查判断该指示地图是正确时,在该缓存器传输级硬件描述语言加入至少一陷阱,使得该绕线后逻辑闸级硬件描述语言产生多个比较点;以及根据该多个比较点对该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到该变更点。2根据权利要求1所述的用于逻辑电路搜寻变更点的方法,其特征在于,该变更点是工程变更命令点。3根据权利要求1所述的用于逻辑电路搜寻变更点的方法,其特征在于,在判断该指示地图是否正确的步骤后还包含下列步骤当判断该逻辑电。

4、路中是否包含具有多输入端的功能组件的结果为是时,将具有多输入端的功能组件分解成多个具有两输入端的功能组件。4根据权利要求1所述的用于逻辑电路搜寻变更点的方法,其特征在于,其中该逻辑电路的输入端包含一频率引脚、一测试引脚、一扫描引脚、一数据复制引脚及一数据倒转引脚。5根据权利要求4所述的用于逻辑电路搜寻变更点的方法,其特征在于,其中该指示地图包含该频率引脚、该测试引脚、该扫描引脚、该数据复制引脚及该数据倒转引脚的位置信息。6根据权利要求1所述的用于逻辑电路搜寻变更点的方法,其特征在于,其中该逻辑电路包含多个输出引脚及一触发器,该多个比较点选自该多个输出引脚以及该触发器的一输入引脚。7根据权利要求。

5、1所述的用于逻辑电路搜寻变更点的方法,其特征在于,在加入该至少一陷阱的步骤后还包含下列步骤根据该比较点定义该逻辑电路中的一扇入锥区域,其中该扇入锥区域是由该逻辑电路的输入端向输出端变窄;以及当判断位于该扇入锥区域内的功能组件是否符合一特定条件的结果为是,及其中该特定条件是对应于该至少一陷阱时,定义符合该特定条件的功能组件为待检查功能组件。8根据权利要求7所述的用于逻辑电路搜寻变更点的方法,其特征在于,其中在以该反向顺序执行功能等效检查的步骤中,是在该扇入锥区域内依该反向顺序对该等待检查功能组件进行功能等效检查,以从该等待检查功能组件中找出该变更点。9根据权利要求1所述的用于逻辑电路搜寻变更点的。

6、方法,其特征在于,其中该至少一陷阱与工程变更命令的变更有关。10一种用于逻辑电路搜寻变更点的装置,该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸级硬件描述语言,再通过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言,该搜寻变更点的装置包含一定义模块,该定义模块耦接至该逻辑电路,该定义模块用以定义一指示地图,该指示地图用以指示出多个引脚;权利要求书CN102110176ACN102110180A2/2页3一验证模块,该验证模块耦接至该定义模块及该逻辑电路,该验证模块用以对该指示地图执行功能等效检查以判断该指示地图是否正确;一比较模块,该比较模块耦接至该验证模块及该逻辑电路。

7、,若该验证模块的判断结果为是,该比较模块在该逻辑电路的该缓存器传输级硬件描述语言加入至少一陷阱,使得该绕线后逻辑闸级硬件描述语言产生多个比较点;以及一检查模块,该检查模块耦接至该比较模块及该逻辑电路,用以根据该多个比较点对该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到该变更点。11根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该变更点是一工程变更命令点。12根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,进一步包含一分解模块,该分解模块耦接至该验证模块、该比较模块及该逻辑电路,该分解模块用以判断该逻辑电路中是。

8、否包含具有多输入端的功能组件,若判断结果为是,该分解模块将具有多输入端的功能组件分解成多个具有两输入端的功能组件。13根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该逻辑电路的输入端包含一频率引脚、一测试引脚、一扫描引脚、一数据复制引脚及一数据倒转引脚。14根据权利要求13所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该指示地图包含该频率引脚、该测试引脚、该扫描引脚、该数据复制引脚及该数据倒转引脚的位置信息。15根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该逻辑电路包含多个输出引脚及一触发器,该多个比较点选自该多个输出引脚以及该触发器的一输入。

9、引脚。16根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,进一步包含一限定模块,该限定模块耦接至该比较模块、该检查模块及该逻辑电路,该限定模块用以根据该比较点定义该逻辑电路中的一扇入锥区域并判断位于该扇入锥区域内的功能组件是否符合一特定条件,若判断结果为是,该限定模块定义符合该特定条件的功能组件为待检查功能组件。17根据权利要求16所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该扇入锥区域是由该逻辑电路的输入端向输出端变窄。18根据权利要求16所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该特定条件对应于该至少一陷阱。19根据权利要求16所述的用于逻辑电路搜寻变更点。

10、的装置,其特征在于,其中该检查模块是在该扇入锥区域内以反向顺序对该等待检查功能组件进行功能等效检查,以从该等待检查功能组件中找出该变更点。20根据权利要求10所述的用于逻辑电路搜寻变更点的装置,其特征在于,其中该至少一陷阱是与工程变更命令的变更有关。权利要求书CN102110176ACN102110180A1/8页4一种用于逻辑电路变更点搜寻方法及装置技术领域0001本发明涉及逻辑电路LOGICCIRCUIT,具体涉及一种能够在逻辑电路中快速找到工程变更命令ENGINEERINGCHANGEORDER,ECO点的变更点搜寻方法及装置。背景技术0002随着电子科技的不断发展,各式各样的电子产品的。

11、体积越来越轻薄短小,但其具备的功能却越来越多。因此,在面积相当小的芯片中必须设置有数目非常庞大的各种电子组件,才足以应付电子产品的实际需求。0003在传统的IC设计流程中,工程变更命令是属于整个设计流程后端的工程变更步骤。假设一逻辑电路源自于缓存器传输级REGISTERTRANSFERLEVEL,RTL硬件描述语言,经合成SYNTHESIZED后转换为合成逻辑闸级GATELEVEL硬件描述语言,接着,再通过自动布局绕线法AUTOMATICPLACEMENTANDROUTING,APR转换为最佳化OPTIMIZED的绕线后逻辑闸级硬件描述语言。0004在此过程中,由于该逻辑电路经过了合成及自动布。

12、局绕线等程序,该逻辑电路包含的所有功能组件之间将会彼此进行耦接、合并或化简,以使得逻辑电路能够通过时序限制TIMINGCONSTRAINT并且缩小其使用面积,因此,当设计者想要对该逻辑电路的绕线后逻辑闸级硬件描述语言进行工程变更命令的修改,将会变的相当困难。0005其最大的难处在于,设计者必须分别对于该逻辑电路的缓存器传输级硬件描述语言以及绕线后逻辑闸级硬件描述语言的功能组件进行逻辑等效检查LOGICALEQUIVALENTCHECK,才能确保设计者在该逻辑电路所进行的修改无论是在缓存器传输级硬件描述语言的阶段以及绕线后逻辑闸级硬件描述语言的阶段均为正确无误的。也就是说,为了进行工程变更命令的。

13、修改,设计者必须反复回到合成逻辑闸级硬件描述语言的阶段及绕线后逻辑闸级硬件描述语言的阶段,再次执行繁琐的数据汇出和汇入作业。0006然而,很明显地,要在已合成且最佳化的该逻辑电路的绕线后逻辑闸级硬件描述语言中寻找可能的工程变更命令点远比在原本的缓存器传输级硬件描述语言中寻找可能的工程变更命令点困难。因此,为了进行工程变更命令的修改,设计者势必要花费大量的时间及精力在复杂的该逻辑电路的绕线后逻辑闸级硬件描述语言中找到可能的工程变更命令点,这将会严重影响整个IC设计流程的进度,因而导致后续产品生产及上市时间的延迟。发明内容0007本发明要解决的技术问题在于,针对现有技术的上述在复杂的逻辑电路的绕线。

14、后逻辑闸级硬件描述语言中找到可能的工程变更命令点需花费大量的时间及精力的缺陷,提供一种节省时间和精力的变更点搜寻装置。0008本发明解决其技术问题所采用的技术方案是构造一种用于逻辑电路搜寻变更点的装置,该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸说明书CN102110176ACN102110180A2/8页5级硬件描述语言,再通过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言。在本发明所述的用于逻辑电路搜寻变更点的装置,该变更点搜寻装置包含一定义模块、一验证模块、一比较模块及一检查模块。该定义模块耦接至该逻辑电路,并用以定义一指示地图,其中,该指示地图用以指示出多个。

15、引脚。该验证模块耦接至该定义模块,并用以对该指示地图执行功能等效检查以判断该指示地图是否正确。该比较模块耦接至该验证模块及该逻辑电路,若该验证模块的判断结果为是,该比较模块将会在该逻辑电路的该缓存器传输级硬件描述语言加入陷阱,以使得该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较点。该检查模块耦接至该比较模块及该逻辑电路,并用以根据该多个比较点对该逻辑电路的该绕线后逻辑闸级硬件描述语言反向执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到一变更点。0009本发明还构造一种用于逻辑电路变更点搜寻方法,该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸级硬件描述语言,。

16、再通过自动布局绕线法转换为一绕线后逻辑闸级硬件描述语言。在该变更点搜寻方法中,首先,定义一指示地图,该指示地图用以指示出多个引脚;接着,执行功能等效检查以判断该指示地图是否正确;若上述判断结果为是,在该逻辑电路的该缓存器传输级硬件描述语言加入陷阱,以使得该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较点;根据该多个比较点对该逻辑电路的该绕线后逻辑闸级硬件描述语言以反向顺序执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到一变更点。该变更点可以是一工程变更命令点;该至少一陷阱可以是一工程变更命令的变更,但不以此为限。0010相比现有技术,根据本发明所述的用于逻辑电路的变更点搜寻方法及装。

17、置是通过在逻辑电路的缓存器传输级硬件描述语言加入陷阱即工程变更命令的变更,使得逻辑电路的绕线后逻辑闸级硬件描述语言也会出现相对应的比较点,接着,该变更点搜寻装置再通过限定模块逐步缩小工程变更命令点可能出现的范围,故能够迅速地在逻辑电路的绕线后逻辑闸级硬件描述语言找到所需的工程变更命令点。0011因此,通过本发明提出的变更点搜寻方法以及变更点搜寻装置的帮助,设计者即可大幅节省原先花费在复杂的逻辑电路的绕线后逻辑闸级硬件描述语言中寻找可能的工程变更命令点的时间及精力,因此可有效提升整个IC设计流程的效率,也可缩短产品上市的时间,以提升其竞争力。0012关于本发明的优点与精神可以由以下的发明详述及所。

18、附图得到进一步的了解。附图说明0013下面将结合附图及实施例对本发明作进一步说明,附图中0014图1是本发明第一具体实施例的变更点搜寻装置的功能方块图;0015图2A是逻辑电路的合成逻辑闸级硬件描述语言的功能地图的示意图;0016图2B为图2A的合成逻辑闸级硬件描述语言经过自动布局绕线后的绕线后逻辑闸级硬件描述语言的功能地图的示意图;0017图3A是本发明在逻辑电路的缓存器传输级硬件描述语言的程序编码中加入陷阱的示意图;0018图3B是在该逻辑电路的绕线后逻辑闸级硬件描述语言找出比较点并定义扇入说明书CN102110176ACN102110180A3/8页6锥区域的示意图;0019图4A和图4。

19、B是本发明逻辑电路的缓存器传输级硬件描述语言的回馈多任务器经过合成逻辑闸级硬件描述语言的示意图;0020图4C是对图4B的合成逻辑闸级硬件描述语言进行扇入锥功能失效测试的示意图;0021图5A和图5B是分别对不同的逻辑电路的合成逻辑闸级硬件描述语言进行扇入锥功能失效测试的示意图;0022图6是本发明的第二具体实施例的变更点搜寻方法的流程图。0023主要组件符号说明0024S10S28流程步骤00251变更点搜寻装置10定义模块002612验证模块14分解模块002716比较模块18限定模块002820检查模块30、50、60扇入锥区域00292合成逻辑闸级硬件描述语言003021扫描引脚22测。

20、试引脚003123数据复制引脚24数据倒转引脚003225频率引脚26、42触发器00338锁相回路9探针00342、3、4、5、6绕线后逻辑闸级硬件描述语言00354缓存器传输级硬件描述语言003641回馈多任务器D触发器的输入端0037411412功能组件P1P13测试点003827、271272、3134、5155、6172逻辑组件0039AOI21、NAND4电路模块Q触发器的输出端0040IN1IN3、A0A1、B0、AD输入引脚0041OU1OUT6、OUT、Y输出引脚具体实施方式0042本发明的主要目的在于提出一种变更点搜寻方法以及变更点搜寻装置。实施本发明的技术方案,设计者即可。

21、大幅节省原先花费在复杂的逻辑电路的绕线后逻辑闸级硬件描述语言中寻找可能的工程变更命令点的时间,以提升整个IC设计流程的效率,避免由于设计流程后端的工程变更导致后续产品生产及上市时间的延迟。0043在本发明所述的用于逻辑电路的变更点的搜寻装置,该变更点可以是工程变更命令点,但不以此为限。在此实施例中,该逻辑电路源自于一缓存器传输级硬件描述语言的网络表NETLIST,经过合成后转换为一合成逻辑闸级硬件描述语言的网络表,接着,该逻辑电路再通过自动布局绕线法转换为最佳化的一绕线后逻辑闸级硬件描述语言的网络表。0044请参照图1,图1示出了本发明的第一具体实施例的变更点搜寻装置的功能方块图。如图1所示,。

22、变更点搜寻装置1包含定义模块10、验证模块12、分解模块14、比较模块说明书CN102110176ACN102110180A4/8页716、限定模块18及检查模块20。其中,验证模块12耦接至定义模块10及分解模块14;比较模块16耦接至分解模块14及限定模块18;检查模块20耦接至限定模块18;定义模块10、验证模块12、分解模块14、比较模块16、限定模块18及检查模块20均耦接至一逻辑电路未示出,以在该逻辑电路中寻找一目标工程变更命令点,接下来,将分别对变更点搜寻装置1所包含的各模块及其功能进行介绍。0045请先参照图2A及图2B,图2A为合成逻辑闸级硬件描述语言的功能地图的示意图,而图。

23、2B为图2A的合成逻辑闸级硬件描述语言经过自动布局绕线后转换为绕线后逻辑闸级硬件描述语言的功能地图的示意图。如图2A所示,该逻辑电路的合成逻辑闸级硬件描述语言2的输入端包含有扫描引脚SCANPIN21、测试引脚TESTPIN22、数据复制引脚DATACLONEPIN23、数据倒转引脚DATAINVERTERPIN24及频率引脚CLOCKPIN25,其中,该扫描引脚21耦接至探针9;频率引脚25耦接至锁相回路PHASELOOPLOCK,PLL8以及该逻辑电路内的触发器FLIPFLOP,FF26,但不以此为限。0046当图2A中的该逻辑电路的合成逻辑闸级硬件描述语言2经过自动布局绕线程序后,便会成。

24、为图2B所示的绕线后逻辑闸级硬件描述语言2。比较图2A及图2B可知,在此实施例中,绕线后逻辑闸级硬件描述语言2与合成逻辑闸级硬件描述语言2的差别仅在于原本耦接至数据复制引脚23的逻辑组件27经过自动布局绕线后,将会分解成两个逻辑组件271及272。0047在此实施例中,变更点搜寻装置1的定义模块10用以根据该逻辑电路的合成逻辑闸级硬件描述语言2与绕线后逻辑闸级硬件描述语言2定义指示地图INSTRUCTIONMAP,以利于变更点搜寻装置1后续搜寻动作的进行。实际上,指示地图可包含有基本比较点信息,因此此实施例的指示地图即可包含有扫描引脚21、测试引脚22、数据复制引脚23、数据倒转引脚24、频率。

25、引脚25及触发器26的位置信息,但不以此为限。0048接着,变更点搜寻装置1的验证模块12即会对该指示地图执行功能等效检查FUNCTIONALEQUIVALENTCHECK以判断该指示地图是否正确。实际上,验证模块12针对该逻辑电路的缓存器传输级硬件描述语言以及绕线后逻辑闸级硬件描述语言2进行逻辑组件功能的比较,以完成功能等效检查。0049若验证模块12的判断结果为是,也就是说,验证模块12已经确认该指示地图无误,因此,变更点搜寻装置1将会继续进行后续的变更点搜寻程序。0050在此实施例中,变更点搜寻装置1的比较模块16将会在该逻辑电路的缓存器传输级硬件描述语言加入至少一陷阱TRAP,以使得该。

26、逻辑电路的绕线后逻辑闸级硬件描述语言产生多个比较点COMPARINGPOINTS。在实际应用中,该至少一陷阱与工程变更命令的变更有关,也就是使用者可在该逻辑电路的缓存器传输级硬件描述语言加入一些工程变更命令的变更,当该逻辑电路的缓存器传输级硬件描述语言经过合成及自动布局绕线而成为绕线后逻辑闸级硬件描述语言时,即会显示出对应于这些工程变更命令的变更的比较点。实际上,这些比较点可选自该逻辑电路的各输出引脚以及触发器的一输入引脚,但不以此为限。0051接下来,变更点搜寻装置1的限定模块18将会根据比较点定义该逻辑电路中的一扇入锥FANINCONE区域并判断位在该扇入锥区域内的功能组件是否符合一特定条。

27、件。其中,该特定条件对应于该至少一陷阱。说明书CN102110176ACN102110180A5/8页80052在实际应用中,限定模块18所进行的上述判断程序即为扇入锥功能失效测试FANINCONEFUNCTIONABORTTEST,用以排除掉扇入锥区域内不可能为想要寻找的变更点的功能组件,以增进变更点搜寻装置1的搜寻速度。若限定模块18的判断结果为是,限定模块18将会定义符合该特定条件的这些功能组件为待检查功能组件。0053值得注意的是,由于限定模块18已经定义出扇入锥区域内的待检查功能组件,所以检查模块20仅需以反向的顺序针对这些待检查功能组件进行功能等效检查即可,并不需要再对该逻辑电路的。

28、绕线后逻辑闸级硬件描述语言中的其它功能组件进行功能等效检查,故可大幅缩减变更点搜寻装置1搜寻变更点所花费的时间。实际上,由于这些待检查功能组件并不一定就是变更点搜寻装置1所要寻找的变更点,故变更点搜寻装置1也可能找不到任何变更点。0054请参照图3,图3示出了通过在该逻辑电路的缓存器传输级硬件描述语言加入陷阱的方式找出绕线后逻辑闸级硬件描述语言的比较点的一范例。其中,图3A示出了在该逻辑电路的缓存器传输级硬件描述语言的程序编码中加入陷阱的叙述如虚线圈起处所示的示意图;图3B则示出了在该逻辑电路的绕线后逻辑闸级硬件描述语言找出比较点并定义扇入锥区域的示意图。0055如图3B所示,假设在该逻辑电路。

29、的绕线后逻辑闸级硬件描述语言3中的比较模块16所加入的陷阱即在原来的缓存器传输级硬件描述语言所作的工程变更命令的变更的比较点为输出引脚OUT6以及触发器36的输入端D,则限定模块18即根据上述比较点在绕线后逻辑闸级硬件描述语言3内定义扇入锥区域30,并且扇入锥区域30由该逻辑电路的输入端向输出端变窄。0056在此实施例中,由于扇入锥区域30内包含有逻辑组件3134,所以限定模块18也会以反向从输出端到输入端的方向的顺序分别对逻辑组件3134进行扇入锥功能失效测试,以判断逻辑组件3134是否可能是变更点搜寻装置1所要寻找的变更点的功能组件。0057例如,由图3A所加入的陷阱的叙述可知,变更点搜寻。

30、装置1所要寻找的变更点的功能组件所对应的输入引脚应为IN2,IN3,IN4;至于逻辑组件3134所对应的输入引脚分别是IN2,IN3,IN4,IN5、IN2,IN3,IN4、IN2,IN4及IN2,IN3,IN5。经由限定模块18进行比较后,因为逻辑组件33及34所对应的输入引脚并未包含IN2,IN3,IN4中的所有输入引脚,故限定模块18即会将逻辑组件33及34加以排除,并将逻辑组件31及32定义为待检查功能组件。因此,检查模块20仅需对逻辑组件31及32进行功能等效检查,即可搜寻出该逻辑电路的绕线后逻辑闸级硬件描述语言中是否具有对应于比较模块16所加入陷阱的变更点。0058值得注意的是,当。

31、验证模块12已经确认该指示地图无误后,在比较模块16用于在该逻辑电路的缓存器传输级硬件描述语言加入陷阱使得绕线后逻辑闸级硬件描述语言产生比较点之前,分解模块14可以先判断该逻辑电路中是否包含具有多输入端的功能组件,若分解模块14的判断结果为是,代表该逻辑电路中的某些逻辑组件可能包含三个含以上的输入引脚,此时,分解模块14即会将这些具有多输入端的功能组件加以分解DECOMPOSE成多个具有两输入引脚的功能组件。0059请参照图4A及图4B,图4A及图4B示出了缓存器传输级硬件描述语言说明书CN102110176ACN102110180A6/8页9的回馈多任务器FEEDBACKMULTIPLEXE。

32、R转换为绕线后逻辑闸级硬件描述语言的示意图。如图4A所示,缓存器传输级硬件描述语言4的回馈多任务器41包含三个输入引脚IN1、IN2及IN3以及一个输出引脚OUT,其中回馈多任务器41的输出引脚OUT耦接至触发器42的输入端D并且输入引脚IN1耦接至触发器42的输出端Q,因此,回馈多任务器41可以通过输出引脚OUT传送一输出信号到触发器42,并且通过输入引脚IN1接收触发器42所产生的一回馈信号,故回馈多任务器41具有回馈的功能。0060当图4A的缓存器传输级硬件描述语言4转换为整合性频率控制INTEGRATEDCLOCKGATING,ICG的绕线后逻辑闸级硬件描述语言4,如图4B所示。很明显。

33、地,当变更点搜寻装置1的分解模块14监测到缓存器传输级硬件描述语言4的回馈多任务器41包含三个输入引脚IN1、IN2及IN3,所以分解模块14即会将回馈多任务器41分解成两个包含两输入引脚的功能组件411及412,至于触发器42则不变,只是各组件彼此间的耦接关系有所改变。在此实施例中,功能组件411为一触发器。实际上,上述功能组件的种类可依据实际的电路需求进行选择,例如乘法器、加法器等,并无一定的限制。0061图4C则示出了对图4B的绕线后逻辑闸级硬件描述语言4进行扇入锥功能失效测试的示意图。如图4C所示,当变更点搜寻装置1的限定模块18以反向顺序对绕线后逻辑闸级硬件描述语言4进行扇入锥功能失。

34、效测试时,比较点除了原来的触发器42的输入端D之外,还包含触发器411的输入端D。0062接下来,将以实际例子对前述的扇入锥功能失效测试作进一步的探讨。请参照图5A,图5A示出了对一逻辑电路的绕线后逻辑闸级硬件描述语言进行扇入锥功能失效测试的示意图。如图5A所示,限定模块18在该逻辑电路的绕线后逻辑闸级硬件描述语言5中定义了扇入锥区域50,扇入锥区域50内包含有逻辑组件5155,并且测试点P1P5分别对应于逻辑组件5155。接着,限定模块18即会依照反向顺序分别对扇入锥区域50内的测试点P1P5进行扇入锥功能失效测试。假设变更点搜寻装置1所要寻找的变更点所对应的输入引脚为IN2,IN3,IN4。

35、,则测试点P1P5当中只有测试点P1及P2能够通过此测试,至于测试点P3P5则否,故限定模块18会将逻辑组件5355加以排除,并将逻辑组件51及52定义为待检查逻辑组件。0063值得注意的是,通过扇入锥功能失效测试的逻辑组件51及52可以构成电路模块AOI21,其中Y为电路模块AOI21的输出引脚,A0、A1及B0为电路模块AOI21的输入引脚。电路模块AOI21的功用在于通过逻辑组件52将从输入引脚A0及A1输入的信号相乘后再与输入引脚B0输入的信号相加,亦即输出引脚Y所输出的信号为A0A1B0。在实际应用中,电路模块AOI21的功能地图可以储存在变更点搜寻装置1的一数据库未显示于图中,当分。

36、解模块14要分解具有多输入端的功能组件时,即可至该数据库寻找是否有相对应的功能地图,以作为扇入锥功能失效测试时的参考依据。0064图5B则示出了对另一逻辑电路的绕线后逻辑闸级硬件描述语言进行扇入锥功能失效测试的示意图。如图5B所示,限定模块18在该逻辑电路的绕线后逻辑闸级硬件描述语言6中定义了扇入锥区域60,扇入锥区域60内包含有逻辑组件6172及测试点P6P13,并且测试点P6P9分别对应于逻辑组件6164;测试点P10P13分别对应于逻辑组件67、7072。接着,限定模块18即会依照反向的顺序分别对扇入锥区域60内的测试点P6P9进行扇入锥功能失效测试。假设变更点搜寻装置1所要寻找的变更点。

37、所说明书CN102110176ACN102110180A7/8页10对应的输入引脚为IN2,IN3,IN4,则测试点P6P9当中只有测试点P6及P7能够通过这一测试,至于测试点P8及P9则否,故限定模块18即会将对应于测试点P8及P9的逻辑组件63及64加以排除,并将对应于测试点P6及P7的逻辑组件61及62定义为待检查逻辑组件。0065同理,限定模块18也会依照反向的顺序分别对扇入锥区域60内的测试点P10P13进行扇入锥功能失效测试。假设变更点搜寻装置1所要寻找的变更点所对应的输入引脚为IN2,IN3,IN5,则测试点P10P13当中只有测试点P10及P11能够通过这一测试,至于测试点P1。

38、2及P13则否,故限定模块18即会将对应于测试点P12及P13的逻辑组件71及72加以排除,并将对应于测试点P10及P11的逻辑组件67及70定义为待检查逻辑组件。至于扇入锥区域60内的其它逻辑组件也可依此类推,故不另行赘述。0066值得注意的是,上述的逻辑组件6172均属于电路模块NAND4的一部份。如图5B所示,电路模块NAND4包含输出引脚Y以及输入引脚AD,电路模块NAND4的功用在于将从输入引脚AD输入的信号相乘后再反相,亦即输出引脚Y所输出的信号为ABCD。同样地,电路模块NAND4的功能地图也可储存在变更点搜寻装置1的数据库内,当分解模块14要分解具有多输入端的功能组件时,即可从。

39、该数据库寻找是否有相对应的功能地图,以作为扇入锥功能失效测试时的参考依据。0067根据本发明第二实施例提供的一种用于逻辑电路变更点搜寻方法。在此实施例中。该逻辑电路源自于一缓存器传输级硬件描述语言,经合成后转换为一合成逻辑闸级硬件描述语言,接着,再通过自动布局绕线法转换为绕线后逻辑闸级硬件描述语言。实际上,该变更点搜寻方法所寻找的变更点可以是一工程变更命令ENGINEERINGCHANGEORDER,ECO点,但不以此为限。0068请参照图6,图6示出了根据本发明第二实施例的变更点搜寻方法的流程图。如图6所示,首先,该变更点搜寻方法执行步骤S10,定义一指示地图。在此实施例中,该指示地图用以指。

40、示出该逻辑电路的多个引脚。0069在实际应用中,该逻辑电路的输入端包含有频率引脚、测试引脚、扫描引脚、数据复制引脚及数据倒转引脚等,但不以此为限。实际上,指示地图可包含有基本比较点信息,故此实施例的指示地图可包含频率引脚、测试引脚、扫描引脚、数据复制引脚、数据倒转引脚及触发器的位置信息,但不以此为限。0070接着,该变更点搜寻方法执行步骤S12,执行功能等效检查以判断该指示地图是否正确。若步骤S12的判断结果为是,该方法执行步骤S14,判断该逻辑电路中是否包含具有多输入端的功能组件。若步骤S14的判断结果为是,代表该逻辑电路中的某些功能组件具有多个输入引脚,该方法执行步骤S16,将这些具有多输。

41、入端的功能组件分解成多个具有两输入端的功能组件。0071接着,该方法执行步骤S18,在该逻辑电路的该缓存器传输级硬件描述语言加入至少一陷阱,以使得该逻辑电路的该绕线后逻辑闸级硬件描述语言产生多个比较点。在实际应用中,该至少一陷阱与工程变更命令的变更有关,但不以此为限。此外,该逻辑电路包含有多个输出引脚及触发器,该多个比较点选自该多个输出引脚及触发器的输入引脚,但不以此为限。0072然后,该方法执行步骤S20,根据该比较点定义该逻辑电路中的一扇入锥区域,其说明书CN102110176ACN102110180A8/8页11中该扇入锥区域由该逻辑电路的输入端向输出端变窄。接着,该方法执行步骤S22,。

42、判断位在该扇入锥区域内的功能组件是否符合一特定条件,其中该特定条件对应于该至少一陷阱。若步骤S22的判断结果为是,该方法执行步骤S24,定义符合该特定条件的功能组件为待检查功能组件。因此,该方法仅需对这些待检查功能组件进行功能等效检查,即可快速地搜寻出该逻辑电路的该绕线后逻辑闸级硬件描述语言中是否具有对应于该方法在步骤S18中所加入的陷阱的变更点。若步骤S22的判断结果为否,该方法执行步骤S26,排除不符合该特定条件的功能组件。0073最后,该方法执行步骤S28,根据该多个比较点对该逻辑电路的该绕线后逻辑闸级硬件描述语言以一反向顺序执行功能等效检查,以在该绕线后逻辑闸级硬件描述语言中找到一变更。

43、点。实际上,该方法是在该扇入锥区域内以反向顺序对该等待检查功能组件进行功能等效检查,以从该等待检查功能组件中找出该变更点。0074相比现有技术,根据本发明的变更点搜寻方法及装置通过在逻辑电路的缓存器传输级硬件描述语言加入陷阱即在缓存器传输级硬件描述语言的工程变更命令的变更,使得逻辑电路的绕线后逻辑闸级硬件描述语言也会出现相对应的比较点,接着,该变更点搜寻装置再通过限定模块逐步缩小工程变更命令点可能出现的范围,故该变更点搜寻装置能够迅速地在逻辑电路的绕线后逻辑闸级硬件描述语言中找到所需的工程变更命令点。0075因此,通过本发明提出的变更点搜寻方法及装置的帮助,设计者即可大幅节省原先花费在复杂的绕。

44、线后逻辑闸级硬件描述语言电路中寻找可能的工程变更命令点的时间及精力,故可有效提升整个IC设计流程的效率,亦可缩短产品上市的时间,以提升其竞争力。0076综合以上最优具体实施例的详述,希望能更加清楚描述本发明的特征与精神,而并非以上述所揭露的最优具体实施例来对本发明的范围加以限制。相反地,其目的是希望能涵盖各种改变及具相等性的替换在本发明所要申请的专利范围内。说明书CN102110176ACN102110180A1/7页12图1图2A说明书附图CN102110176ACN102110180A2/7页13图2B图3A说明书附图CN102110176ACN102110180A3/7页14图3B图4A说明书附图CN102110176ACN102110180A4/7页15图4B图4C说明书附图CN102110176ACN102110180A5/7页16图5A说明书附图CN102110176ACN102110180A6/7页17图5B说明书附图CN102110176ACN102110180A7/7页18图6说明书附图CN102110176A。

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 物理 > 计算;推算;计数


copyright@ 2017-2020 zhuanlichaxun.net网站版权所有
经营许可证编号:粤ICP备2021068784号-1