应用工程，资深工程师 at Synopsys

Synopsys 正在招聘一名形式验证工程师，负责开发和维护用于复杂总线和存储器协议的断言 IP，创建具有差异化优势的形式验证方法，验证 Synopsys VC Formal 及相关 EDA 工具功能，并与研发、应用工程师和产品管理团队协作。该职位要求相关学科的学士或硕士学位，具备 2–14 年形式验证或 EDA 工具验证经验，拥有 VC Formal 实际操作经验，能够开发可综合的 SystemVerilog 断言，并能在 Unix/Linux 环境中熟练使用 Python、Perl 或 Tcl 编写脚本。