[发明专利]可执行于计算机系统的电路设计修改方法

权利要求书

1.一种电路设计修改方法，可执行于一计算机系统中，该方法包含下列步骤：

对一第一硬件描述语言码进行一第一最佳化合成动作而产生一第一电路描述；

对该第一电路描述进行一物理设计而产生一第一布局后电路；

对该第一硬件描述语言码进行修改而产生一第二硬件描述语言码，并分别对该第一硬件描述语言码与该第二硬件描述语言码进行强制保留信号的一第二最佳化合成动作而产生一第二电路描述与一第三电路描述；

对该第二电路描述与该第三电路描述进行一工程改版逻辑锥对撷取程序，进而产生至少一工程改版逻辑锥对；

根据该工程改版逻辑锥对中属于该第二电路描述的逻辑锥，使用等效验证的技术在该第一布局后电路中寻找出等效于该逻辑锥的终点元件的一待替换逻辑锥的终点元件；

将该待替换终点元件与该第三电路描述的逻辑锥都记上一有效标记；

利用等效验证技术针对记有有效标记的该逻辑锥与该第一布局后电路中该待替换终点元件来界定出一等效边界，而由该有效标记逻辑锥的该终点元件以及该等效边界内的所有逻辑门的集合来形成一工程改版逻辑门电路；

将该第一布局后电路中该待替换终点元件以及该等效边界内的所有逻辑门的集合去除后便形成一待替换电路；以及

然后将该第一布局后电路中的该待替换电路直接替换成该工程改版逻辑门电路，进而将该第一布局后电路修改成一布局后的工程改版电路。

2.如权利要求1所述的电路设计修改方法，其中强制保留信号的该第二最佳化合成动作为一强制保留所有左手侧信号的最佳化合成动作。

3.如权利要求1所述的电路设计修改方法，其中对该第二电路描述与该第三电路描述进行的该工程改版逻辑锥对撷取程序包含下列步骤：

通过扇入追踪的方法在该第二电路描述与该第三电路描述中都建立逻辑锥的数据结构；以及

利用信号名称比对的方法来建立多个相对应的逻辑锥对，并从所述逻辑锥对中结合等效验证技术来找出该工程改版逻辑锥对。

4.如权利要求1所述的电路设计修改方法，其中该等效边界的界定方法包含下列步骤：从记有有效标记的逻辑锥的终点元件往起点方向出发，在第一布局后电路中找出与该逻辑锥间所有路径上的等效元件，而所述等效元件所形成的边界便为该等效边界，而该等效边界内的所有逻辑门与该等效终点元件的集合即为该工程改版逻辑门。