RTL设计和验证工程师

职位描述
职位描述
我们正在寻找一位积极进取且注重细节的RTL设计和验证工程师加入我们公司。该角色将专注于实现和验证基于斯坦福大学多年研究的创新验证技术的产品，我们正在扩展并将其转变为工业用途。 您将负责开发、调试和维护啄木鸟验证IP的代码，验证IP将在形式化验证环境中进行测试。 这是一个很好的机会，可以加入一个精英团队，在一个具有挑战的领域学习，贡献和创新。 个人还将与客户合作，将IP集成到他们的验证流程中。
啄木鸟为选定的候选人提供有竞争力的薪酬，并具有公平性。工作地点可议，工作薪资可议。
主要职责
这些职责将根据候选人的技能和专业知识来定，并将包括以下几项，但不限于：
深入了解 啄木鸟的IP和产品。
为我们的验证解决方案创新新的功能和技术。
编写规范文档并对其进行维护。
与验证工程师合作 制定测试计划。
编写 RTL 和 PSL 或 SVA 代码。
确保逻辑设计符合架构规范。
设置 RTL 设计环境、工具、方法和基础结构。
验证覆盖率和调试失败率。
通过目标设计的微架构功能来扩展我们的IP的功能列表。
资格
具有电机/电子/计算机的本科,硕士,博士学位。

资深工程师：年资7+（本科）或5+（硕士,博士）具ASIC/IP/SoC设计验证相关经验
工程师: 年资2~5 (本科, 硕士,博士 ) 具ASIC/IP/SoC设计验证相关经验

熟悉计算机体系结构和先进的CPU知识。
在参数化和可配置的Verilog/SystemVerilog编码方面拥有丰富的经验。
熟悉芯片前端设计流程，包括相关的第三方RTL验证工具，形式化验证和版本控制方法/系统，如Perforce或GIT。
精通Linux用户，具有至少一种编程语言（如C，C++或Java）的经验，以及一种用于设置前端设计基础架构和构建环境的脚本语言（如 shell, Perl, Tcl）。
通过形式化模型检查工具和概念证明的知识和经验。
熟悉使用云计算平台，如AWS或GCP。
较强的 分析和 解决问题的能力。
能够在各种抽象级别上独立工作。
良好的沟通，人际交往和团队合作。
强烈希望学习创业环境中所需的各种技能。
能够与内部和外部团队/客户有效合作。
首选技能
具有 SoC架构、集成和/或验证方面的经验。
熟悉 IP 加密方法和实施。
具有ACE，AHB，AXI等片上总线协议的经验。
了解DFT（测试设计），DFD（调试设计）和 CP/FT测试流程。 
具有硅后验证/调试经验。
对高级语言编译器技术的基本了解。