达摩院-形式验证专家-上海/杭州

该职位来源于猎聘 【职位描述】 根据公司业务需求，建设形式验证Signoff流程规范及Signoff平台化自动化Flow; 与EDA Vendor（包括国产EDA）协作评估和导入形式验证各类App能力（FPV/DPV(C2RTL)/FRV(CSR)/Lint/CDC/CONN/XPROP/SEC/UNR等）并开发形式验证平台化基础设施，落地多产品线; 根据公司业务需求，组织形式验证平台化能力集中建设，推动形式验证经验和能力的平台化沉淀，针对各产品线的形式验证需求提供解决方案，从形式验证方法学角度组织关键路径的验证攻关，提升公司整体形式验证水平和质量; 开发各类形式验证共性技术，包括但不限于ABVIP，可复用/标准化模块的SVA Library, Assumption，Cover等组件，提升形式验证可复用组件的丰富度和成熟度; 关注形式验证技术的发展和趋势，结合业务场景，提升验证质量、效率和投入产出。 【职位要求】 硕士及硕士以上，电子工程，通讯，计算机专业优先 在芯片大厂或EDA大厂有形式验证项目经验的优先，有形式验证平台经历的优先 刻理解形式验证工作原理，Signoff流程，Checklist和指标，具备丰富的形式验证项目经验或平台化经验 4. 熟练掌握Cadence Jasper或Synopsys VCF及配套的各类形式验证App，具备基于形式验证工具完成项目成功Signoff的经验 掌握至少一种脚本语言：Perl, Shell, Ruby, Python, Tcl等 富有激情，能够自我驱动，良好的团队合作能力 良好的沟通表达和问题分析能力