工作职责 1.开发形式验证Signoff流程，建设结果自动化馈入动态仿真平台的机制； 2. 负责为项目形式验证需求提供解决方案，根据验证场景布局形式化验证应用，评估国产工具并进行项目导入； 3. 开发形式验证可复用组件，如SVA Library等; 支持AMBA等高速接口的formal应用，运用先进技术特性提升复杂运算模型+RTL的验证效率 4.协助项目完成数字部分的lint/CDC check和预综合，支持逻辑等价性检查

工作要求 1. 大学硕士/本科学历，微电子、电子工程、集成电路设计相关专业毕业。 2. 具有ASIC/SoC项目验证经验，至少5年以上形式验证项目/平台开发的经验 3. 熟悉形式化验证方法和Signoff流程，熟悉AMBA AXI协议和VC formal等主流EDA工具，具备扎实的数字设计电路调试能力 4. 至少精通一门脚本语言，包括Perl、Python、Ruby等 5.熟悉形式化算法者优先