[請益] Formal Verification值得學嗎？

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