[发明专利]电路设计方法及相关的电脑程序产品

权利要求书

1.一种电路设计方法，包含有：

产生一门级网表；

根据该门级网表以决定出一电路中的至少一个特定元件，其中该至少一个特定元件的输出永远是一个固定值；以及

使用一箝位元件来替换该电路中的该至少一个特定元件的功能，以产生一更新后门级网表，其中使用该箝位元件来替换该电路中的该至少一个特定元件的功能，以产生该更新后门级网表的步骤包含有：

将该电路中的该至少一个特定元件替换为该箝位元件，并搜索该电路中因为该至少一个特定元件被替换为该箝位元件后而不具有功能的至少一个多余元件，并将该至少一个多余元件自该电路中移除，以产生该更新后门级网表。

2.如权利要求1所述的电路设计方法，其中搜索该电路中因为该至少一个特定元件被替换为该箝位元件后而不具有功能的该至少一个多余元件的步骤包含有：

搜索该电路中输出为空接的元件，以作为该至少一个多余元件。

3.如权利要求1所述的电路设计方法，还包含有：

判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生一判断结果。

4.如权利要求3所述的电路设计方法，其中判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生该判断结果的步骤包含有：

使用循序等价性检查判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生该判断结果。

5.一种用来进行电路设计的装置，经由该装置以执行下列电路设计方法：

根据一门级网表以决定出一电路中的至少一个特定元件，其中该至少一个特定元件的输出永远是一个固定值；以及

使用一箝位元件来替换该电路中的该至少一个特定元件的功能，以产生一更新后门级网表，其中使用该箝位元件来替换该电路中的该至少一个特定元件的功能，以产生该更新后门级网表的步骤包含有：

将该电路中的该至少一个特定元件替换为该箝位元件，并搜索该电路中因为该至少一个特定元件被替换为该箝位元件后而不具有功能的至少一个多余元件，并将该至少一个多余元件自该电路中移除，以产生该更新后门级网表。

6.如权利要求5所述的装置，其中搜索该电路中因为该至少一个特定元件被替换为该箝位元件后而不具有功能的该至少一个多余元件的步骤包含有：

搜索该电路中输出为空接的元件，以作为该至少一个多余元件。

7.如权利要求5所述的装置，还包含有：

判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生一判断结果。

8.如权利要求7所述的装置，其中判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生该判断结果的步骤包含有：

使用循序等价性检查判断该门级网表以及该更新后门级网表的电路功能是否相同，以产生该判断结果。