求Synopsys IC Validator(icv) runset 範例

huajen

尊敬的前輩們,   
    請幫幫忙.
    小弟現有icv的license, 卻不知如何去執行以及編輯一個runcat檔.
是否能給小弟一個簡單的範例?! 如何執行runset? runset的內容?
假設小弟只是要做簡單的邏輯運算, 例如 ((((L1 and L2) or L3) xor L4) sizing -0.2),
然後將結果放在L5.

     謝謝.

snk88

icv runsetfile


L5=size( ((L1 and L2) or L3 ) xor L4 , -0.2   )

huajen

回复 2# snk88


   令人敬愛的snk88,    感謝你提供邏輯運算式語法, 謝謝.  除此之外, 你方不方便告訴我如何run一個icv的runset
以及提供我一個完整的runset的範例?!
    例如, calibre是如此執行一個runset, calibre -drc -hier runset.txt, 而在這個runset.txt中必須定義
input, primary cell, resolution, precision, magnify ..., 以及相關基本參數, 然後做Layer 變數的設定,
clibre的runset大概長這樣,


...
LAYOUT SYSTEM GDSII
LAYOUT PATH ./abc.gds
LAYOUT PRIMARY TOP
...
RESOLUTION 1
PRECISION 1000
LAYOUT MAGNIFY 1.0 PLACE
...
LAYER  MAP 1 DATATYPE 0 1001
LAYER  L001   1001  
LAYER  MAP 2 DATATYPE 0 1002
LAYER  L002   1002  
LAYER  MAP 3 DATATYPE 0 1003
LAYER  L003   1003  
LAYER  MAP 4 DATATYPE 0 1004
LAYER  L004   1004  
LAYER  MAP 5 DATATYPE 0 1005
LAYER  L005   1005   
...
L005_tmp=((L001 and L002) or L003 ) xor L004)
L005=size L005_tmp by -0.2


     在icv中應該是icv + runsetfile, 去執行一個icv runset. 但是一個icv runset中基本該有哪些參數, 語法如何等等,
小弟就陌生的很, 雖然我手邊有manual但是內容太多我英文又不好, 希望能有一個簡單而完整的範例讓小弟我可以
很快進入狀況.


     如果不是太麻煩, 請幫幫忙.  謝謝.

snk88

搜sold,那个有详细说明

huajen

回复 4# snk88

Dear snk88,   不好意思, 我不是很懂你指的是什麼?! "搜sold" ? 我手上有兩分manual, "IC Validator
User Guide" 以及 "IC Validator Reference manual".  前者應該是說明icv的架構以及各module
功能, command line用法; 後者主要是說明runset中所支援的各種指令以及功能.
   請問哪一個部分會有詳細說明?! 你手邊有無簡單的範例?!

   謝謝.

snk88

icv虽然我在用，但是我也不是很熟，只是会用。
如果条件允许的话，还是用calibre好了。我这儿soff还是以calibre 为准的。
而且，calibre 的rule比较常见，icv的比较小众了，我们这儿是代工厂的大客户，才一直有icv的rule更新的

fl10197

回复 5# huajen


   IC Validator User Guide可以发给一下吗？396074793@qq.com谢谢!

huajen

回复 6# snk88


    Dear snk88,         Thanks for your advice.

snk88

╮(╯_╰)╭
放弃了

ra3d

╮(╯_╰)╭
放弃了