达摩院-片上互联验证高级工程师-计算技术
Posted Updated 6
views
Summary
Senior on-chip interconnect verification engineer at Alibaba's DAMO Academy (computing technology): designs chip- and block-level verification environments for cache/bus interconnect, runs functional, integration and gate-level simulations, and debugs issues to deliver verified interconnect designs. Core stack: AMBA (AXI/AHB/APB), UVM, SystemVerilog/Verilog, Linux, scripting.
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验证为加分项