锦鲤求职岗位描述
职责：
- 使用硬件描述语言（Verilog/SystemVerilog）、硬件验证语言（SystemVerilog/UVM）和逻辑模拟器来验证复杂的GPU RTL设计。
- 与架构、设计和建模团队协作，共同达成设计规范。
- 制定并推动验证计划和进度。
- 熟悉并使用先进的面向对象编程、UVM和垂直重用技术的架构验证平台。
- 配置生成受限随机和构建定向测试以落实验证计划。
- 运行软件模拟器（EDA Simulator）并调试跨硬件和软件的问题。
- 部署形式验证技术以补充动态仿真。
- 构建功能覆盖率，收集分析覆盖率结果，并增强验证环境和测试用例以达到覆盖率收敛要求。
要求：
- 有在EDA、EMU或硅后测试平台调试芯片问题的经验。
- 有基于受限随机和覆盖驱动验证平台构建的经验。
- 有代码和功能覆盖率分析的相关经验。
- 有使用脚本语言开发自动化流程的经验。
- 拥有学士学位，并且至少有5+年的相关工作经验。
- 能够跨硬件和软件边界调试问题。
- 有使用面向对象编程构建可扩展/可重用验证平台的经验。
- 理解计算机体系结构和内存子系统微架构。
- 熟悉GPU架构和相关API标准（OpenGL/CL、Vulcan、DirectX、ROCm）。
- 熟悉软模拟器机制和仿真吞吐量问题的分析。
- 有使用过形式验证技术和工具的经验，如JasperGold。