新思科技
Applications Engineering, Staff Engineer
Applications Engineering, Staff Engineer
发布于 1 天前普通员工/个人贡献者
AI 估算 · 25k–45k · AI 参考估算
Hsinchu, Taiwan
高级经验
本科
全职员工仅现场办公芯片设计
芯片设计
Axi
Debugging
Eda Tools
Formal Verification
Systemverilog
Tcl
Amba Protocols
值不值得投
77综合评分
综合评分 77
行业顶尖EDA公司的资深验证岗位，技术挑战高、成长性强、使命感明确，但需关注具体的工作节奏与办公安排。
从薪资福利、成长空间、工作节奏和岗位方向综合评估，方便横向比较。
薪资怎么样
35K
与芯片设计中位数基本持平
发布情况
新岗位 · 昨天发布
公司情况
这家公司招聘很活跃
33 个在招 · 其中芯片设计 10 个
市场机会
选择面较广
芯片设计 · 约 530 个在招
职位详情
关于这个职位
该职位是新思科技的形式化验证应用工程高级工程师
主要负责开发和维护复杂总线协议的断言IP，验证其行业领先的EDA形式化验证工具（如VC Formal）的高级功能，并与研发及产品团队合作推动创新方法学的发展
你需要深厚的数字设计、形式化验证知识及熟练的脚本编程能力，以确保工具的可靠性和性能，助力芯片设计领域的客户成功
最低要求
电气工程、计算机科学或相关领域的学士或硕士学位
–14年形式化验证或EDA工具验证经验
有使用Synopsys VC Formal等形式化验证工具的实践经验
精通开发可综合代码，以构建APB、AHB、AXI、ACE、CHI、I2C和SPI等协议的断言IP
了解DDR、CXL、PCIe、以太网、USB等协议者优先
精通编写/理解System Verilog断言（SVA）
精通Unix/Linux环境下的脚本语言（Python、Perl、Tcl）
具备分析性问题解决能力、强大的调试技能和对细节的关注
有效的沟通者，能够清晰地跨团队传达技术概念
协作型团队成员，能够积极主动地分享见解和反馈
适应性强，渴望学习新技术和方法学
工作职责
为复杂总线协议（AMBA系列、DDR等内存接口）开发/维护断言IP
为形式化验证工具开发差异化特性和创新方法学
验证EDA工具（如Synopsys VC Formal）的高级功能，包括属性验证（FPV）、顺序等效性（SEQ）、连通性检查等应用
与跨职能团队（包括研发、应用工程师和产品经理）紧密合作，定义并增强工具功能
保持对最新形式化验证方法学、行业标准和新兴趋势的了解，以推动工具开发创新
优先资格
了解DDR、CXL、PCIe、以太网、USB和MIPI等其他协议
AI 洞察
优缺点分析
优点
- 身处EDA行业龙头公司，能接触和推动全球领先的芯片设计验证技术
- 工作于一个技术驱动、强调创新与协作的顶尖工程团队，能与业界专家共事
- 岗位职责涵盖从工具验证到方法创新，提供全面的技术视野和职业发展平台
- 对全球芯片产业的先进设计有直接且重要的影响
- 技术深度要求极高，需要持续学习和跟进快速演进的形式化验证理论与工具
- 作为应用工程师，需要在产品开发、客户需求和研发团队之间进行高效沟通与平衡，对软性技能要求高
- 适合对芯片验证、形式化方法有浓厚兴趣，追求技术深度，并享受通过工具创新解决复杂工程问题的资深工程师
缺点 / 挑战
- 工作内容涉及复杂的逻辑和协议，对问题分析和解决能力有持续的挑战
角色解读
- 技术专家路径：在形式化验证领域成为公认的权威，负责更复杂的工具方法学或特定IP的验证架构
- 技术领导力路径：领导小型技术团队，指导初中级工程师，并影响产品路线图的制定
- 产品/解决方案路径：凭借深厚的客户应用理解，转向产品管理、解决方案架构或技术营销角色
- 开发与维护用于验证复杂芯片总线协议（如AMBA）的断言IP库
- 作为产品专家，验证和推动公司核心EDA形式化验证工具（如VC Formal）的新功能与创新方法
- 与研发、产品经理和客户应用团队紧密协作，将用户反馈和市场需求转化为工具改进
- 通过深入的技术洞察，确保验证解决方案的可靠性、高性能和前沿性
- 精通形式化验证理论、工具（如VC Formal）与方法学，并能进行创造性应用
- 深厚的数字IC设计背景，对APB、AXI、CHI等关键总线协议有透彻理解
- 熟练使用SystemVerilog进行断言编写，并精通Python、Perl、Tcl等脚本语言以实现自动化与效率提升
- 强大的技术分析、调试能力与跨职能沟通协作精神
申请策略
- 在申请前，深入研究新思科技VC Formal的功能亮点和典型应用场景，在面试中展示你的了解
- 准备一个清晰的故事，阐述你过去如何运用形式化验证解决一个关键设计验证挑战
- 详细描述使用形式化验证工具（尤其是VC Formal或类似工具）进行项目验证的具体经验与成果
- 列举熟练掌握的协议（如AXI, CHI）和相关脚本语言（Python, Perl）的实践案例
- 突出在跨团队合作中，如何通过技术洞察影响工具改进或项目进程的经历
- 强调解决复杂技术难题或优化验证流程的具体事例
- 深入研究UVM形式化验证方法学或ABV最佳实践，以补充实践经验
- 尝试为开源或个人项目编写SystemVerilog断言，并利用开源形式化工具进行实践
面试指南
- 采用STAR法则（情境、任务、行动、结果），重点描述你的技术决策和量化影响
- 对于技术设计问题，展示你的系统化思维：从需求分析、架构设计、实现细节到验证策略
- 在行为问题中，突出你的协作能力、解决问题的主动性和对技术质量的执着追求
- 对于前瞻性问题，结合行业动态和你的实践经验，给出有依据的见解
- 请描述你最有挑战性的一个形式化验证项目，你如何制定验证策略并最终解决问题？
- 你如何为一个复杂的总线协议（如AXI）开发一个关键的断言IP？请描述你的思考过程和实现步骤
- 在验证一个EDA工具新功能（例如SEQ）时，你会设计哪些类型的测试用例来确保其正确性和鲁棒性？
- 你如何与产品经理或研发工程师就一个有争议的工具特性进行有效沟通并达成一致？
职位点评
薪资福利70
成长发展90
工作生活65
使命价值85
薪资福利
70中等
作为上市跨国公司的高级技术岗位，预计提供有市场竞争力的薪酬和全面的福利体系，但JD未披露具体数字和细节。
薪资信号未披露（AI估算：25K-45K/月）
福利待遇comprehensive health benefits、wellness benefits、financial benefits
成长发展
90较高
该职位处于EDA技术前沿，要求深厚的专业技能，并提供参与行业领先工具开发与创新的机会，成长路径清晰且具有高技术含量。
技术前沿前沿/新兴技术
技术栈Formal Verification、VC Formal、SystemVerilog、AXI、CHI、Python、Perl、Tcl
成长机会continuous learning、drive innovation、influence product direction
业务类型profit_center
工作生活
65中等
JD未明确工作模式，推断为需到岗的现场办公。作为研发中心岗位，可能面临项目节奏压力，但未提及具体加班文化。
工作模式未明确
办公地点科技园/产业园
加班情况未提及（无法判断）
使命价值
85较高
工作直接支撑全球芯片设计的创新与效率提升，所在行业（EDA）是半导体产业的基石，社会影响力和技术使命感强。
行业发展高速增长赛道
社会影响正向社会影响力较高
使命信号drive innovations that shape the way we live、transform the future through continuous technological innovation、make a tangible impact on the future of silicon design
创新程度积极采用新技术
新思科技 的其他在招职位
相似职位推荐
Watch Jobs