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

职位描述

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

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

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

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

任职要求

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

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

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

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

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

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