数字电路验证工程师

1. 验证环境搭建与维护

基于 UVM（Universal Verification Methodology） 搭建模块级（Block-Level）和系统级（SoC-Level）验证平台。

开发可复用的验证组件（VIP, Verification IP），如激励生成器（Driver）、监测器（Monitor）、记分板（Scoreboard）。

优化仿真环境，提高验证效率（如采用多线程仿真、加速验证技术）。

2. 测试用例开发与执行

编写约束随机测试（CRV, Constrained Random Verification） 用例，覆盖功能、边界条件和异常场景。

执行回归测试（Regression Test），分析并提升代码覆盖率（Code Coverage）和功能覆盖率（Functional Coverage）。

使用断言（SVA, SystemVerilog Assertions）进行形式验证（Formal Verification）。

3. 缺陷分析与调试

使用波形调试工具（Verdi, DVE, SimVision） 分析仿真失败原因，定位设计缺陷（Bug）。

与设计工程师（RTL Designer）协作，提供改进建议并跟踪问题修复。

4. 验证流程优化

制定验证计划（Verification Plan），明确验证目标、策略和验收标准。

采用自动化脚本（Python/Perl/TCL） 优化验证流程，提升回归测试效率。

熟悉 CI/CD（持续集成/持续部署） 工具（如 Jenkins、GitLab CI），实现自动化验证。

5. 低功耗与复杂协议验证

掌握 UPF（Unified Power Format） 或 CPF（Common Power Format），验证低功耗设计（Power-Aware Verification）。

熟悉常见总线协议（AMBA AXI/APB）的验证方法。

岗位要求

1、微电子、计算机、电子工程等相关专业，本科及以上。

2、相关工作经验3年及以上。

3、编程语言：SystemVerilog（核心，面向对象编程、约束随机测试）。Python/Perl/TCL（自动化脚本开发）。（加分项）C/C++（用于协同仿真）。

4、验证方法论：UVM（必须掌握）。形式验证（Formal Verification） 和 断言（SVA）（加分项）。

5、协议与架构知识：熟悉 AMBA AXI/APB等总线协议。了解 ARM/RISC-V CPU架构、Cache一致性（Cache Coherence） 等复杂场景验证。

6、协同工作：能够高效的与项目开发各个团队进行沟通。能够撰写清晰的验证计划（Test Plan） 和验证报告（Verification Report）。