锦鲤求职岗位描述
岗位职责
1.负责基于形式化验证方法的FPGA测试与评测体系建设。
2.主导形式化验证工具的部署、二次开发及自动化流程搭建。
3.开展FPGA关键模块的断言验证、等价性检查、模型检测，输出测试报告。
4.负责复杂场景下FPGA逻辑缺陷与安全漏洞分析的挖掘分析。
岗位要求
1.微电子、计算机等相关专业，硕士研究生学历。
2.精通形式化验证理论及主流工具。
3.熟练掌握SVA/PSL断言语言，具备复杂约束与属性建模能力。
4.熟悉脚本语言，具备验证环境二次开发与自动化搭建能力。
5.具备FPGA或ASIC设计的完整形式化验证实施经验。
6.具备形式化验证工具自主研发或核心模块开发能力。