[發明專利]一種庫單元時延功耗狀態完整性的檢查方法

有效

• 申請號: 201611233543.3
• 申請日: 2016-12-28
• 公開（公告）號: CN106611088B
• 公開（公告）日: 2019-10-08
• 發明（設計）人: 周舒哲;陳彬;劉毅
• 申請（專利權）人: 北京華大九天軟件有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京德崇智捷知識產權代理有限公司 11467
• 代理人: 王金雙

1.一種庫單元時延功耗狀態完整性的檢查方法，其特征在于，包括以下步驟：

（1）獲取單元庫中定義的所有狀態集合，組成目標集合；

（2）根據所有管腳的名稱枚舉出所有狀態集合，組成狀態總集合；

（3）根據單元的功能定義，以及不同模型的特點從所述目標集合中求出非法狀態集合；

（4）基于所述非法狀態集合，比較所述狀態總集合和所述目標集合，得出重復和缺失的狀態集合；

所述步驟（3）進一步包括：首先，選出不符合標準單元功能和三態定義的狀態；然后，選出不符合模型特點的狀態，得到所述非法狀態集合；

所述步驟（4）進一步包括：扣除掉所述目標集合中屬于所述非法狀態集合的部分，得到合法的目標集合；扣除掉所述狀態總集合屬于所述非法狀態集合的部分，得到合法的狀態參考集合；求出所述合法的參考集合中多于所述合法的目標集合的部分，得到定義缺失的狀態集合；所述目標集合中，定義的狀態重復出現的為冗余狀態集合。

2.根據權利要求1所述庫單元時延功耗狀態完整性的檢查方法，其特征在于，所述步驟（1）進一步包括：

針對每一個單元，抽取internal_power()、leakage_power()及timing()定義的狀態，組成所述目標集合。

3.根據權利要求1所述庫單元時延功耗狀態完整性的檢查方法，其特征在于，所述步驟（2）進一步包括以下步驟：

（21）通過所述目標集合中的狀態和單元定義的管腳方向，確定關聯的輸入及輸出管腳的集合；

（22）根據輸入管腳，得到狀態的個數。