验证工程师 – RISC-V CPU（混合办公，捷克）
加入 Codasip，在一家安全的半导体架构公司中验证 RISC-V 处理器及其扩展。为先进 CPU 设计构建自动化验证流程。
描述
- 验证 RISC-V 处理器及其扩展
- 创建涵盖测试平台、测试平台组件、激励生成和形式验证环境的验证解决方案
- 与工程师合作完成组件和子系统的验证工作
- 为模块和子系统制定验证策略并选择合适的工具
- 评估技术规格，并提供以验证为重点的反馈
- 执行仿真、调查缺陷并确定复杂问题的根本原因
- 规划、估算、确定优先级并监控所分配的工作
- 衡量并报告验证性能指标
- 开发自动化验证工作流
- 验证先进 CPU，包括复杂的乱序处理器设计
- 负责指定的设计区域，并采用多种验证方法
任职要求
- 目前居住在捷克共和国，并拥有在那里工作的合法权利
- 具备将功能处理器验证方法应用于 CPU 或其他 ASIC 的商业经验，包括仿真、测试生成、覆盖率分析和门级仿真
- 了解 CPU 架构或其他知识产权的验证
- 能够使用 SystemVerilog、Python、C++、Rust 或类似语言编写清晰、简洁的代码
- 曾负责某个设计模块的验证工作
- 使用 Linux 自动化日常任务
- 了解 Git 和 SVN 等版本控制工具
- 了解 RISC-V 架构
- 深入理解计算机系统和体系结构
- 具备分析思维和团队协作能力
- 能够跨团队有效协作，调试问题并找出根本原因
福利待遇
- 招聘信息未说明福利、津贴或额外薪酬。