[發(fā)明專(zhuān)利]檢測(cè)集成電路用時(shí)序路徑中異步路徑的方法、裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201910085906.0
• 申請(qǐng)日: 2019-01-29
• 公開(kāi)（公告）號(hào): CN109901049B
• 公開(kāi)（公告）日: 2021-05-04
• 發(fā)明（設(shè)計(jì)）人: 溫建剛;張敏;梁夢(mèng)雷;武堃;耿羅鋒;彭華
• 申請(qǐng)（專(zhuān)利權(quán)）人: 廈門(mén)碼靈半導(dǎo)體技術(shù)有限公司
• 主分類(lèi)號(hào): G01R31/28
• 分類(lèi)號(hào): G01R31/28
• 代理公司: 北京康達(dá)聯(lián)禾知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11461
• 代理人: 羅延紅;金丹

1.一種檢測(cè)集成電路用時(shí)序路徑中異步路徑的方法，其特征在于，包括：

遍歷待檢測(cè)集成電路設(shè)計(jì)中的寄存器；

通過(guò)異步路徑檢測(cè)函數(shù)，獲取任一寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑屬性信息；

通過(guò)所述異步路徑檢測(cè)函數(shù)，獲取所述路徑屬性信息中的起點(diǎn)時(shí)鐘、終點(diǎn)時(shí)鐘；

通過(guò)所述異步路徑檢測(cè)函數(shù)，判斷所述起點(diǎn)時(shí)鐘的值是否等于所述終點(diǎn)時(shí)鐘的值，且當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑是否滿(mǎn)足時(shí)序約束條件；

如果所述異步路徑檢測(cè)函數(shù)，判斷所述起點(diǎn)時(shí)鐘的值不等于所述終點(diǎn)時(shí)鐘的值，且當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑不滿(mǎn)足時(shí)序約束條件；則將所述當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑判斷為異步路徑；

通過(guò)所述異步路徑檢測(cè)函數(shù)，對(duì)屬于異步路徑的時(shí)序路徑進(jìn)行標(biāo)識(shí)。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，還包括：基于所述寄存器的數(shù)據(jù)端的類(lèi)型創(chuàng)建寄存器集合；并按照所述寄存器的數(shù)據(jù)端的類(lèi)型，依次遍歷待檢測(cè)集成電路設(shè)計(jì)中的寄存器。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述寄存器的種類(lèi)包括觸發(fā)器、鎖存器、時(shí)鐘門(mén)控單元，所述寄存器的數(shù)據(jù)端的類(lèi)型包括A或B、D、E，所述寄存器集合包括數(shù)據(jù)端的類(lèi)型為A或B、D或E的三類(lèi)集合；并依次遍歷E類(lèi)寄存器集合、A或B類(lèi)寄存器集合、D類(lèi)寄存器集合。

4.根據(jù)權(quán)利要求1所述的方法，其特征在于，還包括：當(dāng)判斷所述當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)時(shí)序路徑屬性信息不包括起點(diǎn)時(shí)鐘或終點(diǎn)時(shí)鐘，輸出報(bào)錯(cuò)信息。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，還包括：當(dāng)判斷所述當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)時(shí)序路徑滿(mǎn)足時(shí)序約束條件時(shí)，輸出存在時(shí)序約束條件的反饋信息。

6.根據(jù)權(quán)利要求1-5中任意一種所述的方法，其特征在于，對(duì)屬于異步路徑的時(shí)序路徑進(jìn)行標(biāo)識(shí)包括：對(duì)所述屬于異步路徑的時(shí)序時(shí)序路徑賦予指定標(biāo)識(shí)值；所述指定標(biāo)識(shí)值用于對(duì)寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑，進(jìn)行靜態(tài)時(shí)序分析時(shí)，靜態(tài)時(shí)序分析工具能夠基于所述標(biāo)識(shí)信息快速獲取屬于異步路徑的時(shí)序路徑，并且不對(duì)屬于異步路徑的時(shí)序路徑作時(shí)序分析。

7.根據(jù)權(quán)利要求6所述的方法，其特征在于，所述靜態(tài)時(shí)序分析工具采用prime time。

8.一種檢測(cè)集成電路用時(shí)序路徑中異步路徑的裝置，其特征在于，包括：

遍歷查詢(xún)模塊，用于遍歷待檢測(cè)集成電路設(shè)計(jì)中的寄存器，

異步路徑判斷模塊，包括異步路徑檢測(cè)函數(shù)，所述異步路徑檢測(cè)函數(shù)用于：獲取任一寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑屬性信息，并獲取所述路徑屬性信息中的起點(diǎn)時(shí)鐘、終點(diǎn)時(shí)鐘；判斷所述起點(diǎn)時(shí)鐘的值是否等于所述終點(diǎn)時(shí)鐘的值，且當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑是否滿(mǎn)足時(shí)序約束條件；如果所述異步路徑檢測(cè)函數(shù)判斷當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的路徑屬性信息中起點(diǎn)時(shí)鐘的值不等于終點(diǎn)時(shí)鐘的值，且當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑不滿(mǎn)足時(shí)序約束條件；則將所述當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)的時(shí)序路徑判斷為異步路徑；并且對(duì)屬于異步路徑的時(shí)序路徑進(jìn)行標(biāo)識(shí)。

9.根據(jù)權(quán)利要求8所述的裝置，其特征在于，還包括：寄存器集合分類(lèi)模塊，用于基于所述寄存器的數(shù)據(jù)端的類(lèi)型創(chuàng)建寄存器集合；所述遍歷查詢(xún)模塊按照所述寄存器的數(shù)據(jù)端的類(lèi)型，依次遍歷待檢測(cè)集成電路設(shè)計(jì)中的寄存器。

10.根據(jù)權(quán)利要求9所述的裝置，其特征在于，所述寄存器的種類(lèi)包括觸發(fā)器、鎖存器、時(shí)鐘門(mén)控單元，所述寄存器的數(shù)據(jù)端的類(lèi)型包括A或B、D、E，所述寄存器集合包括數(shù)據(jù)端的類(lèi)型為A或B、D或E的三類(lèi)集合；所述遍歷查詢(xún)模塊遍歷待檢測(cè)集成電路設(shè)計(jì)中的寄存器包括：依次遍歷E類(lèi)寄存器集合、A或B類(lèi)寄存器集合、D類(lèi)寄存器集合。

11.根據(jù)權(quán)利要求8所述的裝置，其特征在于，還包括：時(shí)鐘信息錯(cuò)誤反饋模塊，用于在所述異步路徑判斷模塊判斷所述當(dāng)前寄存器的數(shù)據(jù)端對(duì)應(yīng)時(shí)序路徑屬性信息不包括起點(diǎn)時(shí)鐘或終點(diǎn)時(shí)鐘，輸出報(bào)錯(cuò)信息。