崗位職責(zé)：
1. 負(fù)責(zé)芯片模塊層級(jí)的形式驗(yàn)證工作，確保設(shè)計(jì)實(shí)現(xiàn)符合規(guī)格定義。
2. 制定形式驗(yàn)證方案，撰寫(xiě)SVA屬性與約束條件，構(gòu)建FPV驗(yàn)證平臺(tái)。
3. 主導(dǎo)執(zhí)行FPV驗(yàn)證任務(wù)，達(dá)成覆蓋率收斂與問(wèn)題追蹤，依據(jù)FPV流程完成簽核目標(biāo)。
4. 探索利用AI技術(shù)提升形式驗(yàn)證效率與自動(dòng)化水平。
5. 跟進(jìn)業(yè)界主流形式驗(yàn)證工具發(fā)展，開(kāi)展可行性分析并推動(dòng)落地應(yīng)用。

任職要求：
1. 微電子、計(jì)算機(jī)、電子工程等相關(guān)專業(yè)背景優(yōu)先考慮
2. 具備1年以上形式驗(yàn)證相關(guān)工作經(jīng)驗(yàn)
3. 熟練運(yùn)用SystemVerilog Assertions（SVA）描述功能特性
4. 掌握形式驗(yàn)證基本原理，熟悉至少一種主流形式驗(yàn)證流程及工具，有FPV簽核經(jīng)驗(yàn)者優(yōu)先