国产精品又长又粗又爽又黄的毛片, 国产AV无码专区亚洲AV毛片搜, 丰满人妻被猛烈进入中文字幕四川, 国产精品一区二区三区国产女人喷,亚洲国产欧美日韩图片在线人,潘娇娇337p人艺体艺术,成人免费无码大片a毛片古装,一本到高清视频免费,人妻在线视频免费看

崗位職責(zé)：
1. 負(fù)責(zé)數(shù)字電路（Verilog/VHDL）的形式驗(yàn)證（Formal Verification），包括但不限于等價(jià)性檢查（EC）、模型檢查（Model Checking）、屬性驗(yàn)證（Property Verification）等。
2. 開發(fā)、優(yōu)化和維護(hù)形式驗(yàn)證工具或腳本。
3. 與設(shè)計(jì)團(tuán)隊(duì)協(xié)作，制定形式驗(yàn)證策略，編寫屬性的形式化描述。
4. 研究前沿形式驗(yàn)證技術(shù)，解決形式驗(yàn)證中的復(fù)雜問題。。
核心技能：
1. 形式驗(yàn)證基礎(chǔ)
（1）熟悉形式驗(yàn)證理論（如模型檢查、定理證明）。
（2）熟練使用業(yè)界工具（如Cadence JasperGold、Synopsys VC Formal、Yosys等）。
（3）能編寫高質(zhì)量的SVA（SystemVerilog Assertions）或PSL屬性。
2. Verilog/數(shù)字電路
（1）精通Verilog/VHDL，理解數(shù)字電路設(shè)計(jì)。
（2）熟悉RTL設(shè)計(jì)缺陷（如死鎖、數(shù)據(jù)完整性）的常見形式化驗(yàn)證模式。
3. 工具開發(fā)能力
（1）有形式驗(yàn)證工具開發(fā)經(jīng)驗(yàn)者優(yōu)先。
應(yīng)聘要求：
1. 學(xué)歷：碩士及以上（計(jì)算機(jī)/電子工程/數(shù)學(xué)等相關(guān)專業(yè)），優(yōu)秀本科生可放寬。
2. 經(jīng)驗(yàn)：3年以上形式驗(yàn)證或工具開發(fā)經(jīng)驗(yàn)（應(yīng)屆生需有相關(guān)項(xiàng)目或論文）。
3. 語言：能閱讀英文技術(shù)文檔。