- 地点
- 多伦多，加拿大
- 工作方式
- 远程
- 类型
- 全职
- 资历
- senior
- 部门
- 硬件基础设施/方法论
职责
- 验证语言处理单元（LPU）的硬件特性。
- 与架构/RTL 团队合作，确定属性，解决深层次的设计问题，并影响微架构决策。
- 充分利用形式化验证的力量，严格验证关键设计属性，确保符合规范，并最大限度地减少规范歧义。
- 高效地调试发现的问题并与利益相关者协作。
- 支持使用形式化方法进行芯片启动和调试（如适用）。
- 开发和实施用于复杂 ASIC 设计的高级形式验证环境和方法，包括可扩展性和效率的自动化流程。
- 培训和指导初级工程师掌握形式化技术和最佳实践；协助编写方法论/常见问题解答文档。
- 为开发未来验证策略做出贡献，以验证未来用于机器学习工作负载的加速器芯片和硬件架构。
必备要求
- 电气工程或相关领域的学士学位，或同等实践经验。
- 在 ASIC 验证领域拥有 8 年以上经验，其中 5 年以上专注于形式化验证方法。
- 精通 SystemVerilog 断言（SVA）和形式化属性验证。
- 精通至少一种业内流行的形式化验证工具（JasperGold、VC Formal 等）。
- 在调试复杂问题时，需要具备较强的分析能力和注重细节的品质。
- 具备良好的流程自动化脚本编写能力（tcl、python 等）。
- 良好的书面和口头沟通能力。
- 必须获得在美国或加拿大工作的合法资格。
- 在复杂计算模块的全周期形式化验收方面已取得显著成功。
- 精通形式化应用、顺序等价性检查、数据通路、连通性等。
- 深入理解 LPU 或 GPU 架构/设计。
优先条件
- 硕士或博士学位优先考虑。
Responsibilities
- Verify hardware features of the Language Processing Unit (LPU).
- Collaborate cross-functionally with architecture/RTL teams to define properties, resolve deep design issues, and influence microarchitecture decisions.
- Leverage formal verification to rigorously verify critical design properties, ensure specification compliance, and minimize specification ambiguity.
- Efficiently debug issues and collaborate with stakeholders.
- Support chip bring-up and debug using formal methods (as applicable).
- Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automation flows for scalability and efficiency.
- Mentor and train junior engineers in formal techniques and best practices; assist in writing methodology/FAQ documentation.
- Contribute to developing future verification strategies for future accelerator chips and hardware architectures for machine learning workloads.
Must Have
- Bachelor's degree in Electrical Engineering or related field, or equivalent practical experience.
- 8+ years of experience in ASIC verification, with 5+ years focused on formal verification methodologies.
- Proficiency in SystemVerilog Assertions (SVA) and formal property verification.
- Proficiency in at least one industry-popular formal verification tool (JasperGold, VC Formal, etc.).
- Strong analytical skills and attention to detail when debugging complex issues.
- Good scripting skills for process automation (tcl, python, etc.).
- Good written and verbal communication skills.
- Must be legally eligible to work in the US or Canada.
- Proven success in full-cycle formal acceptance of complex compute blocks.
- Proficiency in formal applications, sequential equivalence checking, datapath, connectivity, etc.
- Deep understanding of LPU or GPU architecture/design.
Preferred
- Master's or PhD preferred.
公司简介
Groq 提供快速高效的 AI 推理。我们基于 LPU 的系统为 GroqCloud™ 提供强大支持，为企业和开发者带来所需的速度和规模。从湾区起步，到如今不断拓展的全球业务，我们始终致力于让高性能 AI 计算更加普及和经济实惠。当实时 AI 触手可及，一切皆有可能。快速构建。