[請益] Formal Verification值得學嗎？

[forthcoming5 (XDDD)]

代PO

小弟在某間外商豬屎屋，才來一年而已研替還沒走完，職位是Digital IC Design Engine
er

最近公司部門有新的專案要做
主要是開發新的Power Management 數位化的項目
不過主管人很好也有給我一些選項選擇

1.留在原本的工作項目繼續做開發，但目前就是個Project的接線生而已，還沒有真正參
與到核心的設計，因為原本做的人比較多

2.跟另一位前輩學新的東西，內容包括一些驗證的工具、語言，含System Verilog、Form
al Verification，可能未來上手後會比較快參與架構的設計

想問的是Formal Verification值得學嗎？
不知道其他公司相似的工作有沒有在用

謝謝大家

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 150.117.226.58 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Tech_Job/M.1659195657.A.701.html
推 aerr        : 每個tape out 必備的吧
推 aowen       : lec不是formal verification
→ labbat      : 沒有東西怎麼formal，東西出來了還要formal幹嘛
→ yo3229      : 是寫SVA吧，增加信心度的一個flow，請前輩們繼續補
→ yo3229      : 充～
→ Astone      : 學習下constraint沒很難吧
→ rogergon    : 跟連連看比起來，你覺得呢？
→ TsmcEE      : 2就是轉dv吧
推 Janlone     : Formal verification 跟架構設計是兩回事吧，因為ve
→ Janlone     : nder的推廣，最近很多公司是開始使用這類tool，但也
→ Janlone     : 就是增加信心的SVA加強版罷了，除非是有標準的規格
→ Janlone     : ，in-house 的規格的計算與流程的驗證還是得靠其它
→ Janlone     : 環境以及pattern 補足，覺得formal verification 沒
→ Janlone     : 那麼神...sv 倒是可以好好學一下
推 kong028     : 最近面外商經驗他們會特別問有沒有用過formal 但我
→ kong028     : 覺得前提是你simulation已經夠熟 不然出去還是以s
→ kong028     : imulation為主的職缺更多
推 OBTea       : 有些檢查用formal 快非常多，如果要往大型SOC公司走
→ OBTea       : ，這很值得一學，雖然語法就是SVA
→ brightest   : DV不太會參與架構設計 想做設計還是要DE
→ CorkiN      : 2那些技能樹都DV的跟架構設計沒啥關係
推 ArgoVesta   : Formal這些東西大公司都有CAD team幫忙準備tcl 2跟
→ ArgoVesta   : 架構一點關係都沒有 你還是當接線生比較有機會
推 twicm       : Formal 水很深，有無腦Formal 用一些 App，或知道
→ twicm       : 自己在幹嘛有策略的使用 FPV. 從IP 出發是不錯的
→ twicm       : 選擇。觀念好的話，使用一點 FPV 對設計很有幫助
→ twicm       : 。
→ twicm       : 正式要用 formal 把關，又是另外一件事了
推 oznga       : 如果你是在外商，formal早已經是必備的verification
→ oznga       :  工具（這邊focus在property verification, 但應用
→ oznga       : 其實很多種）。幾家大台廠今年也在大力推formal。越
→ oznga       : 早學會,職涯選擇機會越多；越快用在project上，越
推 oznga       : 越能及早發現bug, 避免ECO. 最近在LinkedIn上看到
→ oznga       : 的分享，網路上有很多資源，可以參考，協助你判斷 h
→ oznga       : ttps://www.linkedin.com/posts/visionaj7_assertio
→ oznga       : n-based-formal-verification-with-activity
→ oznga       : -6956956028282257408-gxCj?utm_source=linkedin_sh
→ oznga       : are&utm_medium=android_app
推 oznga       : link好像太長，截圖如下https://i.imgur.com/UgB1WV
→ oznga       : F.jpg
推 oznga       : https://i.imgur.com/NgZO7ya.jpg
→ OBTea       : 台廠幾年前開始就有在用，只是compiler不太穩，跑一
→ OBTea       : 跑會core dump，感覺這兩年才修得比較好
→ OBTea       : IP驗證切入架構有些組織慢慢有這趨勢，但前提是驗證
→ OBTea       : team本身要夠完善
推 happy1234557: 很多IC廠都開始設獨立專門做2的部門了 未來性不差
推 OBTea       : 短期DV還沒有優勢，願不願意熬就看個人考量