达摩院-片上互联验证专家-计算技术

1. 设计和搭建大规模芯片级和模块级验证环境，制定互联/SOC层级相关功能的验证策略。

2. 执行功能/集成以及门级仿真等有效的验证方法来确保性满设计满足功能和性能要求。

3. 分析和解决故障与问题，确保验证进度，交付完全验证的相关功能设计。

1. 精通总线功能和协议，熟悉SOC数据通路架构

2. 精通总线功能，有总线系统集成验证经验为加分项

3. 熟悉芯片设计和验证流程，精通UVM验证方法学和SystemVerilog, Verilog等语言

4. 熟悉Linux环境，有Perl/Python/Shell/Makefile/Ruby/Tcl编程经验为加分项

5. 熟悉cache一致性协议，如MESI、MOESI、ACE等为加分项

6. 熟悉Formal验证为加分项

7. 熟悉AI Agent应用为加分项