[請益] Formal Verification值得學嗎？

aerr 07/30 23:44每個tape out 必備的吧

aowen 07/30 23:55lec不是formal verification

labbat 07/30 23:59沒有東西怎麼formal，東西出來了還要formal幹嘛

yo3229 07/31 00:03是寫SVA吧，增加信心度的一個flow，請前輩們繼續補

yo3229 07/31 00:03充～

Astone 07/31 00:13學習下constraint沒很難吧

rogergon 07/31 00:28跟連連看比起來，你覺得呢？

TsmcEE 07/31 00:532就是轉dv吧

Janlone 07/31 00:59Formal verification 跟架構設計是兩回事吧，因為ve

Janlone 07/31 00:59nder的推廣，最近很多公司是開始使用這類tool，但也

Janlone 07/31 00:59就是增加信心的SVA加強版罷了，除非是有標準的規格

Janlone 07/31 01:00，in-house 的規格的計算與流程的驗證還是得靠其它

Janlone 07/31 01:00環境以及pattern 補足，覺得formal verification 沒

Janlone 07/31 01:00那麼神...sv 倒是可以好好學一下

kong028 07/31 08:08最近面外商經驗他們會特別問有沒有用過formal 但我

kong028 07/31 08:08覺得前提是你simulation已經夠熟 不然出去還是以s

kong028 07/31 08:08imulation為主的職缺更多

OBTea 07/31 08:40有些檢查用formal 快非常多，如果要往大型SOC公司走

OBTea 07/31 08:40，這很值得一學，雖然語法就是SVA

brightest 07/31 09:07DV不太會參與架構設計 想做設計還是要DE

CorkiN 07/31 09:142那些技能樹都DV的跟架構設計沒啥關係

ArgoVesta 07/31 09:33Formal這些東西大公司都有CAD team幫忙準備tcl 2跟

ArgoVesta 07/31 09:33架構一點關係都沒有 你還是當接線生比較有機會

twicm 07/31 09:49Formal 水很深，有無腦Formal 用一些 App，或知道

twicm 07/31 09:49自己在幹嘛有策略的使用 FPV. 從IP 出發是不錯的

twicm 07/31 09:49選擇。觀念好的話，使用一點 FPV 對設計很有幫助

twicm 07/31 09:49。

twicm 07/31 09:54正式要用 formal 把關，又是另外一件事了

oznga 07/31 10:18如果你是在外商，formal早已經是必備的verification

oznga 07/31 10:18 工具（這邊focus在property verification, 但應用

oznga 07/31 10:18其實很多種）。幾家大台廠今年也在大力推formal。越

oznga 07/31 10:18早學會,職涯選擇機會越多；越快用在project上，越

oznga 07/31 10:19越能及早發現bug, 避免ECO. 最近在LinkedIn上看到

oznga 07/31 10:19的分享，網路上有很多資源，可以參考，協助你判斷 h

oznga 07/31 10:19ttps://www.linkedin.com/posts/visionaj7_assertio

oznga 07/31 10:19n-based-formal-verification-with-activity

oznga 07/31 10:19-6956956028282257408-gxCj?utm_source=linkedin_sh

oznga 07/31 10:19are&utm_medium=android_app

oznga 07/31 10:24link好像太長，截圖如下https://i.imgur.com/UgB1WV

oznga 07/31 10:24F.jpg

oznga 07/31 10:30https://i.imgur.com/NgZO7ya.jpg

OBTea 07/31 10:37台廠幾年前開始就有在用，只是compiler不太穩，跑一

OBTea 07/31 10:38跑會core dump，感覺這兩年才修得比較好

OBTea 07/31 10:39IP驗證切入架構有些組織慢慢有這趨勢，但前提是驗證

OBTea 07/31 10:39team本身要夠完善

happy123455707/31 11:17很多IC廠都開始設獨立專門做2的部門了 未來性不差

OBTea 07/31 12:09短期DV還沒有優勢，願不願意熬就看個人考量