[發明專利]一種集成電路的驗證方法及裝置

有效

• 申請號: 201610239448.8
• 申請日: 2016-04-15
• 公開（公告）號: CN107301256B
• 公開（公告）日: 2020-11-10
• 發明（設計）人: 史東濱
• 申請（專利權）人: 深圳市中興微電子技術有限公司
• 主分類號: G06F30/398
• 分類號: G06F30/398;G06F30/20
• 代理公司: 北京天昊聯合知識產權代理有限公司 11112
• 代理人: 彭瑞欣;張天舒

1.一種集成電路的驗證方法，其特征在于，包括：

獲取集成電路的各個待驗文件中的待驗端口；

根據全部所述待驗文件的待驗端口確定所述集成電路的端口路徑；

當在所述集成電路的端口路徑中查找到預設匹配的起點和終點時，判定所述集成電路連接通過；

所述根據全部所述待驗文件的待驗端口確定所述集成電路的端口路徑，包括：

在全部所述待驗端口中選擇一個未驗證的端口作為當前待驗端口；

確定所述當前待驗端口的端口路徑；

根據全部當前待驗端口的端口路徑，確定集成電路的端口路徑。

2.根據權利要求1所述的方法，其特征在于，所述獲取集成電路的各個待驗文件中的待驗端口，包括：

從預先設定的文件列表中選擇一個未驗證的文件作為當前待驗文件；

獲取所述當前待驗文件的全部待驗端口。

3.根據權利要求2所述的方法，其特征在于，所述確定所述當前待驗端口的端口路徑，包括：

將所述當前待驗端口作為關鍵字在所述當前待驗文件中進行查找，確定所述當前待驗端口所在的當前實例；

確定通過所述當前待驗端口與所述當前實例進行實例調用的實例和端口；

根據與所述當前實例進行實例調用的實例和端口，確定所述當前待驗端口的端口路徑。

4.根據權利要求2所述的方法，其特征在于，在所述確定所述當前待驗端口的端口路徑之前，所述方法還包括：

判斷所述當前待驗端口所在的當前實例被預設的頂層實例調用的深度是否大于預先設置的深度閾值；

若是，則結束確定所述當前待驗端口的端口路徑。

5.一種集成電路的驗證裝置，其特征在于，包括：

獲取單元，用于獲取集成電路的各個待驗文件中的待驗端口，將所述待驗端口發送給確定單元；

所述確定單元，用于根據全部所述待驗端口確定所述集成電路的端口路徑，將所述集成電路的端口路徑發送給判定單元；

所述判定單元，用于當在所述集成電路的端口路徑中查找到預設匹配的起點和終點時，判定所述集成電路連接通過；

其中，所述確定單元包括：

第二選擇子單元，用于在全部所述待驗端口中選擇一個未驗證的端口作為當前待驗端口，將所述當前待驗端口發送給確定子單元；

所述確定子單元，用于確定所述當前待驗端口的端口路徑；根據全部當前待驗端口的端口路徑，確定集成電路的端口路徑。

6.根據權利要求5所述的裝置，其特征在于，所述獲取單元，包括：

第一選擇子單元，用于從預先設定的文件列表中選擇一個未驗證的文件作為當前待驗文件，將所述當前待驗文件發送給獲取子單元；

所述獲取子單元，用于獲取所述當前待驗文件的全部待驗端口。

7.根據權利要求6所述的裝置，其特征在于，

所述確定單元，還用于將所述當前待驗端口作為關鍵字在所述當前待驗文件中進行查找，確定所述當前待驗端口所在的當前實例；確定通過所述當前待驗端口與所述當前實例進行實例調用的實例和端口；根據與所述當前實例進行實例調用的實例和端口，確定所述當前待驗端口的端口路徑。

8.根據權利要求6所述的裝置，其特征在于，

所述判定單元，還用于判斷所述當前待驗端口所在的當前實例被預設的頂層實例調用的深度是否大于預先設置的深度閾值；若是，則結束確定所述當前待驗端口的端口路徑。