求Synopsys IC Validator(icv) runset 範例

huajen · 发表于 2014-3-17 15:09:52

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

×

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

謝謝.

snk88 · 发表于 2014-3-17 15:32:00

icv runsetfile

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

huajen · 发表于 2014-3-17 18:11:05

回复 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 · 发表于 2014-3-17 18:41:07

搜sold,那个有详细说明

huajen · 发表于 2014-3-18 15:35:27

回复 4# snk88

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

謝謝.

snk88 · 发表于 2014-3-18 17:16:34

本帖最后由 snk88 于 2014-3-18 17:17 编辑

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