【2027校招】芯片验证工程师（AI Core）

和实习内容

1. 01

   深入理解ALU微架构设计文档（涵盖加减乘、移位、精度转换运算等），提取验证功能点，制定模块级和子系统级的验证计划，完成测试点分解与风险评估

2. 02

   基于UVM框架， 搭建可重用、可扩展的ALU验证平台，开发参考模型、断言及Scoreboard，实现自动化比对

3. 03

   开发定向测试用例（针对边界条件、溢出、异常标志位）以及基于约束的随机测试用例，深入Debug RTL代码，协助设计工程师精准定位并闭环问题

4. 04

   主导功能覆盖率、代码覆盖率和断言覆盖率的分析、合并与收敛工作，确保验证的完备性，不留设计死角

5. 05

   搭建针对ALU计算模块的形式化验证平台，利用Formal的遍历测试特性，设计Formal证明测试并完成证明收敛，为ALU提供多重质量保证

6. 06

   维护和优化验证脚本（Makefile/Python/Perl/TCL），提升仿真回归效率，探索AI辅助验证，推动团队技术升级

1. 01

   2027届校招应届生硕士及以上学历

2. 02

   熟练掌握Verilog / SystemVerilog硬件描述语言；了解UVM验证方法学，有实际项目经验者优先

3. 03

   熟悉VCS、Verdi、Xcelium等主流EDA仿真与Debug工具

4. 04

   熟练掌握 c++, python, bash 等编程和脚本语言

5. 05

   了解计算机体系结构，理解CPU/GPU流水线及指令集（如RISC-V/ARM）优先 *

加分项

1. 01

   熟悉IEEE-754浮点计算标准

2. 02

   有Formal调试经验

3. 03

   逻辑严谨，注重细节，具备优秀的发现问题和独立解决问题的能力 地点：上海