Formal Verification值得學嗎？ - 工程師

By Lily
at 2022-07-30T23:40

Table of Contents

代PO

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

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

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

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

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

謝謝大家

--

Tags: 工程師

All Comments

By Edwina
at 2022-07-28T20:51

每個tape out 必備的吧

By Anonymous
at 2022-07-31T15:19

lec不是formal verification

By Ula
at 2022-07-28T20:51

沒有東西怎麼formal，東西出來了還要formal幹嘛

By Rebecca
at 2022-07-31T15:19

是寫SVA吧，增加信心度的一個flow，請前輩們繼續補
充～

By Ida
at 2022-07-28T20:51

學習下constraint沒很難吧

By Odelette
at 2022-07-31T15:19

跟連連看比起來，你覺得呢？

By Thomas
at 2022-07-28T20:51

2就是轉dv吧

By Agatha
at 2022-07-31T15:19

Formal verification 跟架構設計是兩回事吧，因為ve
nder的推廣，最近很多公司是開始使用這類tool，但也
就是增加信心的SVA加強版罷了，除非是有標準的規格

By David
at 2022-07-28T20:51

，in-house 的規格的計算與流程的驗證還是得靠其它
環境以及pattern 補足，覺得formal verification 沒
那麼神...sv 倒是可以好好學一下

By Jacky
at 2022-07-31T15:19

最近面外商經驗他們會特別問有沒有用過formal 但我
覺得前提是你simulation已經夠熟不然出去還是以s
imulation為主的職缺更多

By Susan
at 2022-07-28T20:51

有些檢查用formal 快非常多，如果要往大型SOC公司走
，這很值得一學，雖然語法就是SVA

By Poppy
at 2022-07-31T15:19

DV不太會參與架構設計想做設計還是要DE

By Jack
at 2022-07-28T20:51

2那些技能樹都DV的跟架構設計沒啥關係

By Audriana
at 2022-07-31T15:19

Formal這些東西大公司都有CAD team幫忙準備tcl 2跟
架構一點關係都沒有你還是當接線生比較有機會

By Skylar Davis
at 2022-07-28T20:51

Formal 水很深，有無腦Formal 用一些 App，或知道
自己在幹嘛有策略的使用 FPV. 從IP 出發是不錯的
選擇。觀念好的話，使用一點 FPV 對設計很有幫助
。

By Lydia
at 2022-07-31T15:19

正式要用 formal 把關，又是另外一件事了

By Zenobia
at 2022-07-28T20:51

如果你是在外商，formal早已經是必備的verification
工具（這邊focus在property verification, 但應用
其實很多種）。幾家大台廠今年也在大力推formal。越
早學會,職涯選擇機會越多；越快用在project上，越

By Hedwig
at 2022-07-31T15:19

越能及早發現bug, 避免ECO. 最近在LinkedIn上看到
的分享，網路上有很多資源，可以參考，協助你判斷 h
ttps://www.linkedin.com/posts/visionaj7_assertio
n-based-formal-verification-with-activity
-6956956028282257408-gxCj?utm_source=linkedin_sh
are&utm_medium=android_app