上海招聘

Job Title: Verification ( Formal tools) Application Engineer

Location: 上海

Position Descriptions：

Provides technical expertise, support, and guidance of formal verification tools and effective application of formal verification within client’s methodology and flows. Includes analysis of environment and setup, identification of appropriate blocks and metrics, analysis of tool performance and problem complexity, and optimizing modeling logic, formal testbenches and environment for optimal tool performance. May be involved in defining, scoping and implementing detailed customer verification requirements.

Will work closely with R&D to specify and develop next generation features, capabilities and applications. Ensures that client’s needs have been met and that the product/solution is fully functioning according to specification.

Will be the formal verification champion and provide training on concepts, methodology and tool usage. Application of formal methods including formal property verification, sequential equivalence checking, formal coverage analysis, connectivity checking and other formal verification apps.

Requirement:

Requires a minimum of 5 years of related experience. Possesses a solid understanding of Formal Verification concepts plus hands-on experience verifying and signing-off using formal verification.

Exercises independent judgment in selecting methods and techniques to obtain solutions..

Skills & Education Required

• Bachelor degree in Electrical Engineering. Masters or Ph.D. degree preferred.
• 8years of experience in design and verification of digital designs.
• 5years of work experience in formal and functional verification.

Experience with formal verification tools: VC Formal, Jasper, Questa Formal, OneSpin,

Understand of Formal Applications:

• Formal Property Verification
• Sequential Equivalence Checking
• Formal Coverage Analysis
• Formal Connectivity Checking

公司信息
关于Synopsys新思科技公司（Synopsys, Inc.，纳斯达克股票市场代码：SNPS）提供各种产品和服务来加速全球电子市场中的创新。作为电子设计自动化（EDA）和半导体知识产权（IP）领域内的领导者，Synopsys的完整的、集成化的产品组合覆盖了系统级设计、 IP、设计实现、 验证、 制造、光学设计 、软件开发测试和现场可编程门阵列 (FPGA)等解决方案，可帮助设计师解决所面临的各种关键挑战。这些技术领先的解决方案可帮助Synopsys的客户建立竞争优势，既可以使***的产品快速地上市，同时降低成本和进度风险。

Synopsys一直是加速电子技术创新的中流砥柱，被广泛使用的Synopsys技术成功地设计并创造了数十亿的芯片和系统。公司的总部位于美国加利福尼州山景城（Mountain View，California），并且在北美、欧洲、日本、亚洲和印度设有约90个办公室。近年来，Synopsys先后收购了世界领先的软件开发测试验证工具厂商Coverity与主动性安全解决方案供应商Codenomicon等一系列公司，将公司的领先技术进一步拓宽到了软件质量与安全等领域。

Synopsys 不仅为员工（正式）提供有竞争力的薪资，并根据各地具体情况提供完善的福利保障。主要福利可能包括：
- 五险一金
- 补充公积金、住房津贴
- 午餐、交通津贴
- 员工补充医疗保险、双子女医疗保险、配偶医疗保险计划
- 股权激励计划
- 全面健康管理、健身活动
- 每年18-26天带薪休假

期待您加入Synopsys，请将简历发送至 jobs-china@synopsys.com (社招) / campus@synopsys.com (校招), 并请关注 Webchat (微信：Synopsys 招聘)。

更多信息， 请访问公司网站：***********************