角色和团队介绍： 你会加入芯片前端验证团队，专注于ALU（算术逻辑单元） 等核心运算模块的功能验证，参与从模块级到子系统级的全流程验证工作，确保每一笔运算在芯片上“算得对、算得准”。你将与架构师和设计工程师一起，为芯片的“大脑”把关 岗位职责和实习内容： 1. 深入理解ALU微架构设计文档（涵盖加减乘、移位、精度转换运算等），提取验证功能点，制定模块级和子系统级的验证计划，完成测试点分解与风险评估 2. 基于UVM框架， 搭建可重用、可扩展的ALU验证平台，开发参考模型、断言及Scoreboard，实现自动化比对 3. 开发定向测试用例（针对边界条件、溢出、异常标志位）以及基于约束的随机测试用例，深入Debug RTL代码，协助设计工程师精准定位并闭环问题 4. 主导功能覆盖率、代码覆盖率和断言覆盖率的分析、合并与收敛工作，确保验证的完备性，不留设计死角 5. 搭建针对ALU计算模块的形式化验证平台，利用Formal的遍历测试特性，设计Formal证明测试并完成证明收敛，为ALU提供多重质量保证 6. 维护和优化验证脚本（Makefile/Python/Perl/TCL），提升仿真回归效率，探索AI辅助验证，推动团队技术升级 岗位要求： 1. 2027届校招应届生硕士及以上学历 2. 熟练掌握Verilog / SystemVerilog硬件描述语言；了解UVM验证方法学，有实际项目经验者优先 3. 熟悉VCS、Verdi、Xcelium等主流EDA仿真与Debug工具 4. 熟练掌握 c++, python, bash 等编程和脚本语言 5. 了解计算机体系结构，理解CPU/GPU流水线及指令集（如RISC-V/ARM）优先 * 加分项： 1. 熟悉IEEE-754浮点计算标准 2. 有Formal调试经验 3. 逻辑严谨，注重细节，具备优秀的发现问题和独立解决问题的能力 地点：上海