[發(fā)明專利]一種檢測時(shí)序約束沖突的方法和裝置

有效

• 申請?zhí)枺?/td>: 200910136969.0
• 申請日: 2009-04-30
• 公開（公告）號: CN101877014A
• 公開（公告）日: 2010-11-03
• 發(fā)明（設(shè)計(jì)）人: 浦索明;宋紅花;戴紅衛(wèi)
• 申請（專利權(quán)）人: 國際商業(yè)機(jī)器公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京市中咨律師事務(wù)所 11247
• 代理人: 于靜;楊曉光

1.一種檢測時(shí)序約束沖突的方法，包括：

接收時(shí)序約束文件；

將時(shí)序約束文件中的全部測試點(diǎn)作為節(jié)點(diǎn)，根據(jù)時(shí)序約束文件中測試點(diǎn)相關(guān)的時(shí)序約束確定節(jié)點(diǎn)間的有向邊及該有向邊的權(quán)重，建立一個(gè)有向圖；

搜索所述有向圖的全部有向圈；

對于每個(gè)有向圈，如果組成該有向圈的有向邊的權(quán)重之和滿足要求的條件，則確定組成該有向圈的測試點(diǎn)和時(shí)序約束存在時(shí)序約束沖突。

2.根據(jù)權(quán)利要求1所述的方法，其中所述有向邊的權(quán)重為該有向邊連接的兩個(gè)節(jié)點(diǎn)信號到達(dá)的最小要求提前時(shí)間量。

3.根據(jù)權(quán)利要求1或2所述的方法，其中所述將時(shí)序約束文件中的測試點(diǎn)作為節(jié)點(diǎn)進(jìn)一步包括：

判斷時(shí)序約束文件中的全部測試點(diǎn)信息是否完整；

如果全部測試點(diǎn)中的部分測試點(diǎn)信息不完整，在網(wǎng)表中檢索獲得該部分測試點(diǎn)的完整信息。

4.根據(jù)權(quán)利要求1或2所述的方法，其中所述將時(shí)序約束文件中的全部測試點(diǎn)作為節(jié)點(diǎn)，根據(jù)時(shí)序約束文件中測試點(diǎn)相關(guān)的時(shí)序約束確定節(jié)點(diǎn)間的有向邊及該有向邊的權(quán)重，建立一個(gè)有向圖包括：

解析廣義時(shí)序約束，將獲得的全部測試點(diǎn)作為節(jié)點(diǎn)，其中所述廣義時(shí)序約束包含隱性時(shí)序約束和時(shí)序約束文件中給出的時(shí)序約束的至少一種；

根據(jù)解析后的廣義時(shí)序約束，獲得全部節(jié)點(diǎn)間的有向邊和有向邊的權(quán)重；

將全部節(jié)點(diǎn)、有向邊和有向邊上的權(quán)重組成有向圖。

5.根據(jù)權(quán)利要求4所述的方法，其中所述解析廣義時(shí)序約束包括：

在網(wǎng)表中檢索隱性時(shí)序約束，所述隱性時(shí)序約束由網(wǎng)表中使用的器件限定，并且沒有在時(shí)序約束文件中給出；

將隱性時(shí)序約束和時(shí)序約束文件中給出的時(shí)序約束聯(lián)合，組成廣義時(shí)序約束。

6.根據(jù)權(quán)利要求1或2所述的方法，其中如果所述有向邊指向信號到達(dá)時(shí)間晚的節(jié)點(diǎn)，則所述組成該有向圈的有向邊的權(quán)重之和要求滿足的條件為權(quán)重之和大于0。

7.根據(jù)權(quán)利要求1或2所述的方法，其中如果所述有向邊指向信號到達(dá)時(shí)間早的節(jié)點(diǎn)，則所述組成該有向圈的有向邊的權(quán)重之和要求滿足的條件為權(quán)重之和小于0。

8.根據(jù)權(quán)利要求1或2所述的方法，其中所述搜索所述有向圖的全部有向圈包括搜索所述有向圖的全部強(qiáng)連通分量。

9.根據(jù)權(quán)利要求1或2所述的方法，其中還包括：

輸出存在時(shí)間約束沖突的組成有向圈的測試點(diǎn)和時(shí)序約束。

10.一種檢測時(shí)序約束沖突的裝置，包括：

接收模塊，用于接收時(shí)序約束文件；

建立模塊，用于將時(shí)序約束文件中的全部測試點(diǎn)作為節(jié)點(diǎn)，根據(jù)時(shí)序約束文件中測試點(diǎn)相關(guān)的時(shí)序約束確定節(jié)點(diǎn)間的有向邊及該有向邊的權(quán)重，建立一個(gè)有向圖；

搜索模塊，用于搜索所述有向圖的全部有向圈；

確定模塊，用于對于每個(gè)有向圈，如果組成該有向圈的有向邊的權(quán)重之和滿足要求的條件，則確定組成該有向圈的測試點(diǎn)和時(shí)序約束存在時(shí)序約束沖突。

11.根據(jù)權(quán)利要求10所述的裝置，其中所述有向邊的權(quán)重為該有向邊連接的兩個(gè)節(jié)點(diǎn)信號到達(dá)的最小要求提前時(shí)間量。

12.根據(jù)權(quán)利要求10或11所述的裝置，其中所述建立模塊包括：

判斷模塊，用于判斷時(shí)序約束文件中的全部測試點(diǎn)信息是否完整；

網(wǎng)表檢索模塊，用于如果全部測試點(diǎn)中的部分測試點(diǎn)信息不完整，在網(wǎng)表中檢索獲得該部分測試點(diǎn)的完整信息。

13.根據(jù)權(quán)利要求10或11所述的裝置，其中所述建立模塊包括：

解析模塊，用于解析廣義時(shí)序約束，將獲得的全部測試點(diǎn)作為節(jié)點(diǎn)，其中所述廣義時(shí)序約束包含隱性時(shí)序約束和時(shí)序約束文件中給出的時(shí)序約束的至少一種；

有向邊和權(quán)重建立模塊，用于根據(jù)解析后的廣義時(shí)序約束，獲得全部節(jié)點(diǎn)間的有向邊和有向邊的權(quán)重；

有向圖建立模塊，用于將全部節(jié)點(diǎn)、有向邊和有向邊上的權(quán)重組成有向圖。

14.根據(jù)權(quán)利要求11所述的裝置，其中所述解析模塊包括：

網(wǎng)表檢索模塊，用于在網(wǎng)表中檢索隱性時(shí)序約束，所述隱性時(shí)序約束由網(wǎng)表中使用的器件限定，并且沒有在時(shí)序約束文件中給出；

組合模塊，用于將隱性時(shí)序約束和時(shí)序約束文件中給出的時(shí)序約束聯(lián)合，組成廣義時(shí)序約束。