工作内容：
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、具备良好的学习能力与团队协作意识