FPGA形式化验证工程师(J10619)

负责基于形式化验证方法的FPGA测试与评测体系建设。

主导形式化验证工具的部署、二次开发及自动化流程搭建。

开展FPGA关键模块的断言验证、等价性检查、模型检测，输出测试报告。

负责复杂场景下FPGA逻辑缺陷与安全漏洞分析的挖掘分析。

微电子、计算机等相关专业，硕士研究生学历。

精通形式化验证理论及主流工具。

熟练掌握SVA/PSL断言语言，具备复杂约束与属性建模能力。

熟悉脚本语言，具备验证环境二次开发与自动化搭建能力。

具备FPGA或ASIC设计的完整形式化验证实施经验。

具备形式化验证工具自主研发或核心模块开发能力。