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

有效

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

一種庫單元時延功耗狀態完整性的檢查方法，包括步驟：獲取單元庫中定義的所有狀態集合，組成目標集合；根據所有管腳的名稱枚舉出所有狀態集合，組成狀態總集合；根據單元的功能定義，以及不同模型的特點從所述目標集合中求出非法狀態集合；基于所述非法狀態集合，比較所述狀態總集合和所述目標集合，得出重復和缺失的狀態集合。本發明提供的庫單元時延功耗狀態完整性的檢查方法，通過檢查定義時延和功耗的條件，對時序單元庫（Timing Library）中的狀態（condition）完備性進行分析，查找出錯誤定義、重復定義，以及遺漏的狀態。

技術領域

本發明涉及集成電路計算機輔助設計領域，尤其涉及一種庫單元時延功耗狀態完整性的檢查方法。

背景技術

在標準單元庫、I/O庫以及IP器件的時延和功耗定義中，為了計算的準確性，模型都是分不同的狀態定義的。在庫文件中，時延功耗模型有三種定義格式：leakage_power()、internal_power()及timing()，狀態則是用屬性when定義在不同的格式中。

而現在的庫文件都是由siliconsmart以及liberate等工具自動生成，由于提取庫中模型的選項較多，會出現狀態定義混亂的情況，目前沒有完整的解決方案，因而需要檢查狀態的完整性。

圖1為現有技術中單元及管腳狀態定義格式圖。在時延和功耗模型中，有三種類型的狀態定義需要檢查完備性，截取其中的片段進行說明，如圖1所示：leakage_power()定義在cell的下一層，分不同的狀態定義具體功耗值；internal_power()定義在pin的下一層，分不同的狀態，其中有些有定義related_pin，有些沒有定義related_pin；timing()也定義在pin的下一層，分不同的狀態，不同的timing_type，但是必須定義related_pin。

直觀的檢查狀態完整性的方法，是通過選擇所有的輸入管腳（pin）進行狀態枚舉，然后比對枚舉結果和出現的狀態。

然而實際情況并沒有這么簡單，模型類型以及輸出pin定義的功能（function）格式不同時，狀態定義的規則也會不同。并且，還存在雙輸出、三態、狀態表，以及ff和latch等定義更復雜的情況。此時，就需要根據輸入輸出pin的名稱，以及定義的function內容，過濾出可行的狀態。

一般情況下，庫單元不同模型中狀態定義需要滿足以下條件：

1）leakage_power()狀態，包含有輸出pin的狀態，利用function定義內容檢查，進行布爾表達式的分析，判斷哪些狀態是可行的；

2）timing()狀態，定義在兩個端點之間（arc）的時序關系，包括一個輸入pin和一個輸出pin，輸入pin的信號變化會引起輸出pin的信號變化，也就是說狀態不能確定輸出的信號；

3）internal_power()狀態，此種狀態比較特殊，當定義在兩個端點之間（arc）時和timing()狀態類似；當定義在在輸入pin時，該輸入pin的信號變化不會引起輸出的變化，也就是說狀態能確定輸出信號。

因而，提出一種庫單元時延功耗狀態完整性的檢查方法，能夠檢查功耗時延模型中狀態定義的完備性，幫助設計者以及庫的提取者得到完整以及規范的庫文件數據，成為亟待解決的問題。

發明內容

為了解決現有技術存在的不足，本發明的目的在于提供一種庫單元時延功耗狀態完整性的檢查方法，可以檢查功耗時延模型中狀態定義的完備性，幫助設計者以及庫的提取者得到完整以及規范的庫文件數據。

為實現上述目的，本發明提供的庫單元時延功耗狀態完整性的檢查方法，包括以下步驟：