根据公司业务需求，建设形式验证Signoff流程规范及Signoff平台化自动化Flow; 与EDA Vendor(包括国产EDA)协作评估和导入形式验证各类AP能力(FPWIDPV(CRTL)/FRV(CSR)LInICDCICONNXPROP/SECJUNR等)并开发形式验证平台化基础设施，落地多产品线; 根据公司业务需求，组织形式验证平台化能力集中建设，推动形式验证经验和能力的平台化沉淀，针对各产品线的形式验证需求提供解决方案，从形式验证方法学角度组织关键路经的验证攻关，提升公司整体形式验证水平和质量; 开发各类形式验证共性技术，包括但不限于ABVIP，可复用/标准化模块的SVAlibrary, Assumpton，cover等组件，提升形式验证可复用组件的丰富度和成熟度, 关注形式验证技术的发展和趋势，结合业务场景，提升验证质量、效率和投入产出。