PTT推薦

[請益] Formal Verification值得學嗎?

看板Tech_Job標題[請益] Formal Verification值得學嗎?作者
forthcoming5
(XDDD)
時間推噓13 推:13 噓:0 →:34

代PO

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

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

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

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

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

謝謝大家

--

※ PTT留言評論
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 150.117.226.58 (臺灣)
PTT 網址

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

圖https://i.imgur.com/NgZO7ya.jpg?e=1667468731&s=7nFTRPPE60h-hE8ddTELRw, Formal Verification值得學嗎?

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還沒有優勢,願不願意熬就看個人考量