达摩院-片上互联验证高级工程师-计算技术

岗位职责

1. 设计和搭建大规模芯片级和模块级验证环境，制定cache/互联相关功能的验证策略。
2. 执行功能/集成以及门级仿真等有效验证方法来确保设计满足规格要求。
3. 分析和解决故障与问题，确保验证进度，交付完全验证的总线互联相关功能设计。

任职要求

1. 精通AMBA协议（AXI/AHB/APB），Synopsys AMBA VIP使用经验为加分项

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

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

4. 熟悉Linux环境，有Perl/Python/Shell/Makefile/Ruby/Tcl编程经验为加分项(P7需要熟悉至少一到两项)

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

6. 熟悉Formal验证为

加分项