锦鲤求职岗位描述
角色和团队介绍：
你会加入芯片前端验证团队，专注于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. 逻辑严谨，注重细节，具备优秀的发现问题和独立解决问题的能力
地点：上海