工作内容：
1、负责模块、子系统或SoC芯片的EDA仿真验证工作，涵盖验证方案规划、环境构建、测试用例开发、问题定位、RTL与门级网表验证、覆盖率评估及验证文档输出等全流程功能与时序验证任务；
2、开展Formal形式化验证相关工作；
3、参与跨平台EDA工具协同仿真及硬件加速器联合验证

工作要求：
1、本科及以上学历，计算机、通信、电子等相关专业，具备2年以上芯片验证领域实际经验；
2、掌握Verilog/SystemVerilog/C/C++等编程语言；
3、熟练运用SV/UVM搭建验证环境，具备代码调试与覆盖率收集分析能力；
4、熟悉Perl、Makefile、Python等常用脚本语言；
5、熟悉数字电路仿真与调试工具的使用；
6、有Formal验证经验者优先考虑；
7、了解ARM/RISC-V架构或熟悉PCIe、以太网、DRAM、I2C、UART、SPI、JTAG等常见外设与接口协议者优先；
8、具备良好的学习能力与团队协作意识