PR中Innovus輸入的示例分析

這篇文章主要介紹了PR中Innovus輸入的示例分析，具有一定借鑒價值，感興趣的朋友可以參考下，希望大家閱讀完這篇文章之后大有收獲，下面讓小編帶著大家一起了解一下。

上圖是Innovus foundation flow user guide 中的流程圖，涵蓋了整個PR 過程，今兒從PR 對輸入的要求開始，PR 對輸入數據的要求跟綜合大同小異，關鍵的部分有：

• Timing libraries: Innovus 支持NLDM, ECSM, CCS 三種庫格式，65nm 之后最好用ECSM 或CCS, 模型更精確，沒有NLDM 那么悲觀，悲觀度可減少5%~10%；通常PR 都要Multi mode Multi corner 同時優化，要保證不同view 之間庫的一致性；

• Physical libraries: Innovus 支持LEF 跟OA <OpenAccess> 兩種物理信息描述格式，到目前為止，老驢只用過LEF 還未接觸過OA, PR 工具對物理庫的要求要比綜合工具更嚴苛，在Genus 中如果某個邏輯庫單元沒有對應的物理庫單元，工具會自動將對應的邏輯庫單元設為dont use, 而在Innovus 中如果缺了某個物理庫單元工具會報錯。同時要為Routing 定義 Non-Default Rules <NDRs>, NDR 可以在LEF 中定義也可以用Innovus 的命令add_ndr 在流程中定義。跟綜合一樣在讀入LEF 時，要先讀入technology lef 再讀入其他LEF, 要跟library vendor 或foundry 確定拿到的LEF 是最新的，在Tech-lef 中要有routing 用到的所有VIA 的定義，如果沒有，可以用innovus 的命令setGenerateViaMode 來產生。

• netlist: Innovus 要求輸入的netlist 是uniquified 的，如果netlist 沒有做uniquify 在讀netlist 之前可以將變量"init_design_uniquify" 設成1, 工具會在解析netlist 時候自動做uniquify. 對于master/clone partitioning 需要特別處理。有些客戶基于特別需求要求輸入的netlist 不能有assign 語句，可以在Genus 中用命令：remove_assign_without_optimization 加對應的option 將assign 刪掉，如果netlist 有assign 沒有被刪掉，可以在innovus 中用命令remove_assigns 將其刪掉，默認該命令會把assign 換成一條net, 但是有些assign 直連了兩個port 如果不加buffer 無法將其刪掉，對于這種情況建議用"remove_assigns -buffering" 將其替換成buffer; 其實在Innouvs 優化過程中也會引入新的assign, 如果不讓innovus 加入新的assign 可以加變量：set init_remove_assigns 1. 

• 約束：包括SDC 跟用戶對設計的約束，如果用的是綜合寫出來的SDC 且在綜合時做了過約，在讀入SDC 之前需要修改過約值，另外對于SDC 中的ideal network 跟dont touch network 也要修改，如在綜合時可能沒修某些DFT 或reset 信號，但在PR 時需要對這些信號做buffering 就需要將對應的ideal 或dont touch 屬性去掉，如果在init_design 之后加額外約束需要先執行：set_interactive_constraint_modes [all_constraint_modes -active] 再加對應的命令。除了SDC 命令之外，還有一些約束如dont use 跟dont touch, 這些命令不是SDC 的命令是針對design 中object 設的命令，加的時候不需要設interactive_constraint_modes. 

• Extraction: QRC 文件 <Quantus technology file> 用于RC 抽取，65nm 之前的工藝用Captable 文件即可，但是到了65nm 之后Captable 的精確度已經不夠，所以強烈推薦用QRC 文件，在Innovus 的不同階段會用不同的RC 抽取引擎來抽RC 如TQuantus, IQuantus 等。

• Signal Intergrity Libs: 在innovus 優化過程中需要對SI 引起的delay 跟glitch 進行分析跟優化，這就需要讀入Noise Models, 如ECSMN 和CCSN library, 或者讀入cdB library.

• ViewDefinition: 定義multi-Mode Multi-corner, 需要定義library_set, operation condition, timing condition, rc_corner, delay_corner, constraint_mode, analysis_view,  相互關系如下圖所示：

  
  

Innovus 輸入所需要的文件，跟輸入端的設置可以總結為：

感謝你能夠認真閱讀完這篇文章，希望小編分享的“PR中Innovus輸入的示例分析”這篇文章對大家有幫助，同時也希望大家多多支持億速云，關注億速云行業資訊頻道，更多相關知識等著你來學習!