[發明專利]基于時序余因子的網表分析的方法和系統

有效

• 申請號: 201010142487.9
• 申請日: 2010-03-18
• 公開（公告）號: CN101930485A
• 公開（公告）日: 2010-12-29
• 發明（設計）人: J·R·鮑姆加特納;R·L·坎茨爾曼;H·莫尼;V·帕魯蒂
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京市中咨律師事務所 11247
• 代理人: 于靜;楊曉光

1.一種用于時序電路網表的基于時序余因子的電路設計的方法，所述方法包括：

選擇時序電路的任意門以便進行分析；

配置所述時序電路網表以將所述任意門連接到多路復用器；

配置所述時序電路網表以將選擇器控制電路連接到所述任意門的選擇器輸入端；

檢測施加到所述選擇器輸入端的ctime信號；

響應于所述ctime信號，將多路復用器輸出端設置為更改任意門輸出；以及

判定在將所述多路復用器輸出端設置為更改任意門輸出的時間期間所述時序電路的行為是否保持等效。

2.如權利要求1中所述的方法，還包括：

在判定所述時序電路的行為是否保持等效時將所述任意門指示為替換候選者，而不考慮所述多路復用器輸出端被設置為更改任意門輸出。

3.如權利要求1中所述的方法，其中配置所述時序電路網表以將所述任意門連接到多路復用器的步驟進一步包括：

將任意門輸出端連接到所述多路復用器的第一輸入端；

將常量連接到所述多路復用器的第二輸入端；以及

在所述時序電路中先前連接所述任意門輸出端的點處連接所述多路復用器的輸出端。

4.如權利要求1中所述的方法，其中響應于檢測到控制所述ctime信號的人工輸入而施加所述ctime信號。

5.如權利要求1中所述的方法，其中響應于檢測到所述電路中控制所述ctime信號的特定行為或活動而施加所述ctime信號。

6.如權利要求5中所述的方法，其中從包含以下項的組中選擇所述特定行為或活動：檢測所述電路中預定接口處的特定類型的指令；檢測填充到預定級別的第一數據緩沖區；檢測清空到預定級別的第二數據緩沖區；檢測所述電路的仲裁單元處的特定請求或許可狀況；以及檢測在分析所述時序電路網表期間已經過預定時間量的指示。

7.如權利要求1中所述的方法，其中配置所述時序電路網表以將所述任意門連接到多路復用器的步驟進一步包括：

將任意門輸出端連接到所述多路復用器的第一輸入端；

將反相后的所述任意門輸出端連接到所述多路復用器的第二輸入端；以及

在所述時序電路中先前連接所述任意門輸出端的點處連接所述多路復用器的輸出端。

8.如權利要求2中所述的方法，其中所述任意門為第一隨機門，所述方法還包括：

選擇所述時序電路的第二任意門以便進行分析；以及

在判定所述時序電路的行為是否保持等效時將所述第二任意門指示為替換候選者，而不考慮所述多路復用器輸出端被設置為更改第二任意門輸出。

9.如權利要求1中所述的方法，其中所述將所述多路復用器輸出端設置為更改任意門輸出的時間為單個時鐘周期。

10.一種包括存儲在機器可讀設備上的指令程序的軟件產品，所述指令程序用于時序電路網表的基于時序余因子的電路設計，其中所述指令程序在計算機上執行時，可使所述計算機執行如權利要求1-9中的任一權利要求所述的方法。

11.一種用于時序電路網表的基于時序余因子的電路設計的系統，所述系統包括用于實現如權利要求1-9中的任一權利要求所述的方法的裝置。