[發(fā)明專利]死結(jié)檢測方法以及機器可讀媒體

有效

• 申請?zhí)枺?/td>: 201310032514.0
• 申請日: 2013-01-28
• 公開（公告）號: CN103970917B
• 公開（公告）日: 2018-09-07
• 發(fā)明（設(shè)計）人: 王鼎雄;羅幼嵐;高淑怡
• 申請（專利權(quán)）人: 瑞昱半導體股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京康信知識產(chǎn)權(quán)代理有限責任公司 11240
• 代理人: 余剛;李靜

1.一種死結(jié)檢測方法，包含有：

找出一集成電路的一電路設(shè)計檔案的至少一電源節(jié)點輸入；

找出所述至少一電源節(jié)點輸入之間的一啟動順序；

依據(jù)所述啟動順序由一特定節(jié)點開始找出一目標路徑；以及

依據(jù)所述啟動順序以及所述目標路徑來進行一死結(jié)檢測。

2.根據(jù)權(quán)利要求1所述的死結(jié)檢測方法，其中，所述死結(jié)檢測的步驟依據(jù)一資源分配圖算法來進行。

3.根據(jù)權(quán)利要求2所述的死結(jié)檢測方法，還包含有：

將所述電路設(shè)計檔案中的多個元件劃分為至少一群組；以及

找出與所述至少一群組相對應的至少一電源節(jié)點輸入。

4.根據(jù)權(quán)利要求3所述的死結(jié)檢測方法，其中，將所述電路設(shè)計檔案中的所述多個元件劃分為所述至少一群組的步驟包含有：

依據(jù)所述多個元件的功能相關(guān)性來將所述電路設(shè)計檔案中的所述多個元件劃分為同一群組。

5.根據(jù)權(quán)利要求3所述的死結(jié)檢測方法，其中，所述特定節(jié)點為一啟動信號節(jié)點。

6.根據(jù)權(quán)利要求3所述的死結(jié)檢測方法，其中，依據(jù)所述啟動順序由由所述特定節(jié)點開始找出所述目標路徑的步驟包含有：

由所述特定節(jié)點開始，依據(jù)所經(jīng)過的至少一群組、與所述至少一群組相對應的所述至少一電源節(jié)點輸入以及所述啟動順序來找出所述目標路徑。

7.根據(jù)權(quán)利要求3所述的死結(jié)檢測方法，其中，依據(jù)所述資源分配圖算法來進行所述死結(jié)檢測的步驟包含有：

將所述目標路徑上的至少一目標群組設(shè)定為至少一程序頂點；

將所述目標路徑上的至少一接線設(shè)定為至少一資源頂點；

將所述目標路徑上的所述至少一目標群組的至少一輸入設(shè)定為至少一請求邊；

將所述目標路徑上的所述至少一目標群組的至少一輸出設(shè)定為至少一指派邊；

將所述至少一程序頂點、所述至少一資源頂點、所述至少一請求邊以及所述至少一指派邊構(gòu)成一資源分配圖；以及

依據(jù)所述資源分配圖算法以及所述資源分配圖對所述目標路徑進行死結(jié)檢測。

8.一種死結(jié)檢測裝置，包括以下模塊：

第一模塊，找出一集成電路的一電路設(shè)計檔案的至少一電源節(jié)點輸入；

第二模塊，找出所述至少一電源節(jié)點輸入之間的一啟動順序；

第三模塊，依據(jù)一特定節(jié)點找出一目標路徑；以及

第四模塊，依據(jù)所述啟動順序以及所述目標路徑來進行一死結(jié)檢測。

9.根據(jù)權(quán)利要求8所述的死結(jié)檢測裝置，其中，所述第四模塊依據(jù)一資源分配圖算法來進行死結(jié)檢測。

10.根據(jù)權(quán)利要求9所述的死結(jié)檢測裝置，其中，所述第四模塊包括：

第一單元，將所述電路設(shè)計檔案中的多個元件劃分為至少一群組；以及

第二單元，找出與所述至少一群組相對應的至少一電源節(jié)點輸入。

11.根據(jù)權(quán)利要求9所述的死結(jié)檢測裝置，其中，所述特定節(jié)點為一啟動信號節(jié)點。

12.根據(jù)權(quán)利要求9所述的死結(jié)檢測裝置，其中，所述第三模塊包括：

第三單元，由所述特定節(jié)點開始，依據(jù)所經(jīng)過的至少一群組、與所述至少一群組相對應的所述至少一電源節(jié)點輸入以及所述啟動順序來找出所述目標路徑。