阿里巴巴
达摩院-片上互联验证高级工程师-计算技术
官网发布时间：
职位描述
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验证为加分项