502
在 Innovus 中預定義了一坨 init_XXX 的變量，用戶需要將對應輸入文件指定給對應的變量，然后執(zhí)行 init_design 工具就會將所有文件依次讀入，對于 verilog netlist 老驢扒拉了幾個 flow 關(guān)鍵的 init 變量有：
init_design_settop,?這個變量默認值是 1，意思是要求客戶指定當前設(shè)計的 top 名字給變量 init_top_cell; 如果將該變量設(shè)成 0，?則讓工具自己識別 top. 建議，用默認值，用戶自己指定 top.
init_lef_file, 將 tech-lef +?other lefs 指定給這個變量，這里有個問題，如果某個 lef?file 在 init_design 之前沒加上，要增量讀入該怎么辦？在 Innovus common ui 中用命令: read_physical -add_lefs XX 可以增量讀入 lef.
init_mmmc_file, 指定 viewDefinition.tcl,?viewDefinition?中的 library_set 指定了所有要用的 library, rc_corner 指定了對應的 QRC file, constraint_mode 指定了 SDC 文件。
init_verilog, 指定網(wǎng)表文件。
init_pwr_net,?指定?global power nets.
init_gnd_net,?指定?global ground?nets.
init_cpf_file,?如果是多電壓域設(shè)計，用于指定 CPF 文件，如果 power intent?是用 1801 描述的，則不能用該變量指定 1801 文件，需要用命令 read_power_intent -1801 $1801_file 讀入，如果在 viewDefinition 中用到了 power domain 則應該在 init_design 之前讀入，init_design 之后再執(zhí)行?commit_power_intent. read_power_intent?這個命令的使用方式跟 Genus 一致，在 Genus 中多了一步 apply_power_intent,?用于將設(shè)計跟 power domain 綁定，commit_power_intent 用于插入 low power cell.?
至此，所有輸入文件都指定完畢，執(zhí)行 init_design 就會將對應文件讀入，init_design 讀取文件的順序還沒看，按照邏輯猜測一下讀入順序：library -> tech-lef -> lef -> QRC -> cpf -> netlist -> SDC.??
init_design_netlisttype, 用于指定 netlist 的 format 是 verilog 還是 OA, 老驢目前只學習 verilog 部分，所有 OA 相關(guān)的都忽略掉。 init_ignore_pgpin_polarity_check, 用于指定一個 leaf cell pin?name 的 list, 告訴工具在 globalNetConnect?或在 CPF 中 connect supply net?時忽略極性檢查 .?這貨好像對 1801 flow 沒用，正好這周一解了個相關(guān)的問題，當時遇到的問題是 1801 flow, 在 commit_power_intent 時工具報 Error:?IMPDB-1220 跟 WARN:?IMPDB-1278, 對于這種問題在 Innovus?中先用命令 dbGet [dbGet top.nets.name PMD0_VDD -p].isPwr 來檢查工具將對應的 supply net 認成了什么。在老驢遇到的 case 中，是在 1801 中用 connect_supply_net 要將一個 analog Ground 連到一個 analog IP 上，但是在 1801 中只定義了 supply net 并沒有指定該 net 用于 Ground 所以工具將其認成了 Power. 解的辦法是在 1801 中為其 create 一個 supply set 并將其指定為 ground.
init_verilog_tolerate_port_mismatch, 這個變量默認值是 0， 不能容忍 module 定義的 port 比實例化時的 port 少，如果將其設(shè)為 1 工具在解析 netlist 時如果發(fā)現(xiàn) module 的 port 比實例化時的 port 少，工具會在 module 上創(chuàng)建一個 port, 老驢以為這個變量在設(shè)計臟的時候特別有用。 init_lef_check_mask_shifts,?用于檢查 tech-lef?和 MACRO sections?中?FIXEDMASK 跟 LAYERMASKSHIFT 是否沖突，該變量默認值是 off 就是不檢查，如果設(shè)為 on?工具發(fā)現(xiàn)沖突會報錯并停掉，如果設(shè)為 bypass 工具發(fā)現(xiàn)沖突只報錯不停止，其實老驢還不知道 FIXEDMASK 跟 LAYERMASKSHIFT 在不同工藝中有多重要，先放到這里，萬一以后發(fā)現(xiàn)重要呢，方便找。 init_import_mode, 用于指定 setImportMode 的 option, 如 set init_import_mode {-discardFloatingVNets true -keepEmptyModule true}，此處留個問題：是不是默認 innovus 會將 empty module 刪掉？如果是，那綜合 netlist 中有沒有 empty module 應該都無所謂吧？如果是，為什么有的后端一定要求把 empty module 刪掉？ init_design_uniquify, 控制 innovus 解析 netlist 時是否做 uniquify, 既然 innovus 要求 netlist 是 unique 的，那為毛不把該變量的默認值設(shè)為 1？
