工作內(nèi)容：
1、負(fù)責(zé)模塊、子系統(tǒng)或SoC芯片的EDA仿真驗(yàn)證工作，涵蓋驗(yàn)證方案規(guī)劃、環(huán)境構(gòu)建、測(cè)試用例開(kāi)發(fā)、問(wèn)題定位、RTL與門(mén)級(jí)網(wǎng)表驗(yàn)證、覆蓋率評(píng)估及驗(yàn)證文檔輸出等全流程功能與時(shí)序驗(yàn)證任務(wù)；
2、開(kāi)展Formal形式化驗(yàn)證相關(guān)工作；
3、參與跨平臺(tái)EDA工具協(xié)同仿真及硬件加速器聯(lián)合驗(yàn)證

工作要求：
1、本科及以上學(xué)歷，計(jì)算機(jī)、通信、電子等相關(guān)專(zhuān)業(yè)，具備2年以上芯片驗(yàn)證領(lǐng)域?qū)嶋H經(jīng)驗(yàn)；
2、掌握Verilog/SystemVerilog/C/C++等編程語(yǔ)言；
3、熟練運(yùn)用SV/UVM搭建驗(yàn)證環(huán)境，具備代碼調(diào)試與覆蓋率收集分析能力；
4、熟悉Perl、Makefile、Python等常用腳本語(yǔ)言；
5、熟悉數(shù)字電路仿真與調(diào)試工具的使用；
6、有Formal驗(yàn)證經(jīng)驗(yàn)者優(yōu)先考慮；
7、了解ARM/RISC-V架構(gòu)或熟悉PCIe、以太網(wǎng)、DRAM、I2C、UART、SPI、JTAG等常見(jiàn)外設(shè)與接口協(xié)議者優(yōu)先；
8、具備良好的學(xué)習(xí)能力與團(tuán)隊(duì)協(xié)作意識(shí)