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