求Synopsys IC Validator(icv) runset 範例

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

icv runsetfile

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

令人敬愛的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
...
LAYERMAP 1 DATATYPE 0 1001
LAYERL0011001
LAYERMAP 2 DATATYPE 0 1002
LAYERL0021002
LAYERMAP 3 DATATYPE 0 1003
LAYERL0031003
LAYERMAP 4 DATATYPE 0 1004
LAYERL0041004
LAYERMAP 5 DATATYPE 0 1005
LAYERL0051005
...
L005_tmp=((L001 and L002) or L003 ) xor L004)
L005=size L005_tmp by -0.2

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

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

搜sold,那个有详细说明

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

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

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

Dear snk88,Thanks for your advice.

╮(╯_╰)╭
放弃了

╮(╯_╰)╭
放弃了