啄木鸟半导体科技(浙江)有限公司招聘RTL设计|验证工程师

单位名片:

招聘计划:

简历接收:

招聘内容:

【关于啄木鸟】啄木鸟科技公司是一家以斯坦福大学的颠覆性研究为基础，寻求彻底改变半导体验证和确认的公司。 我们得到了国际投资公司的支持，在中国大陆台湾拥有的客户。【职位描述】我们正在寻找一位积极性高、注重细节的RTL设计和验证工程师加入我们公司。这个角色将专注于实现和验证产品，这些产品基于创新的验证技术，这些技术来自于斯坦福大学多年的研究，我们正在扩大并将其应用于工业。 你将负责开发、调试和维护啄木鸟验证IP的代码，并在验证IP将被使用的形式验证环境中进行测试。 这是一个很好的机会，可以加入一个精英团队，在一个需要大力改进的领域学习、贡献和创新。 该人员还将与客户合作，在他们的验证流程中整合这些IP。 ***为被选中的候选人提供有吸引力的、有竞争力的薪酬和有意义的股权。

【主要职责】职责将根据候选人的技能和专业知识进行调整，包括以下几个方面，但不限于此：

* 深入了解 啄木鸟的 IP 和产品。
* 为我们的验证解决方案创新新的功能和技术。
* 编写规范文档并对其进行维护。
*与验证工程师合作 制定测试计划。
* 编写 RTL 和 PSL 或 SVA 代码。
* 确保逻辑设计符合架构规范。
* 设置 RTL 设计环境、工具、方法和基础结构。
* 验证覆盖率和调试失败率。
* 通过目标设计的微架构功能来扩展我们的 IP 的功能列表。 资格
* 具有电机/电子/计算机的本科,硕士,博士学位。
* 熟悉计算机体系结构和先进的 CPU 知识。
*在参数化和可配置的 Verilog/SystemVerilog 编码方面拥有丰富的经验。
* 良好的沟通，人际交往和团队合作。
* 强烈希望学习创业环境中所需的各种技能。
*能够与内部和外部团队/客户有效合作。

【资历】

- EE/CS专业的学士、硕士或博士或同等学位。 - 具有较强的计算机结构背景和CPU的高级知识。 - 在参数化和可配置的Verilog/System Verilog编码方面有丰富经验。 - 对芯片前端设计过程有丰富的经验，包括相关的第三方RTL验证工具和修订控制方法/系统，如Perforce或GIT。 - 熟练的Linux用户，至少有一种编程语言如C、C++或Java和一种脚本语言的经验，以建立前端设计基础设施和构建环境。 - 对正式的模型检查工具和概念有明显的认识和经验。 - 熟悉使用云计算平台，如AWS或GCP。 - 强大的分析和解决问题的能力。 - 有能力独立工作并在不同的抽象层次上工作。 - 有较强的沟通、人际关系和团队合作能力。 - 有强烈的愿望去学习创业环境中所需要的各种技能。 - 有能力与内部和外部团队/客户有效合作。【优先考虑的技能】- 具有SoC架构、集成和/或验证方面的经验。 - 熟悉IP加密的方法和实施。 - 具有片上总线协议如ACE、AHB、AXI等的经验。 - 熟悉DFT（测试设计）、DFD（调试设计）和制造测试流程。 - 有硅片后验证/调试的经验。 - 对高级语言编译器技术有基本了解。

【工作地点】

1.上海张江

2.浙江杭州

请将简历发送至 jobs@woodpeckerx.com，感谢