Staff Applications Engineer
Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling · QA och testning
I korthet
As a Staff Applications Engineer at Synopsys in Sunnyvale, CA, you will lead formal verification deployments, diagnose and optimize formal tool performance, and develop technical training for customers. This role involves working directly with customers to assess their environments, recommend methodologies, and collaborate with R&D on product roadmaps.
Ansvarsområden
- Lead formal verification deployments with customers, assessing design environments, verification gaps, and RTL complexity to recommend fitting methodologies.
- Diagnose root causes of formal tool performance issues and optimize formal testbenches and abstraction strategies.
- Identify design blocks and verification scenarios suitable for formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking.
- Develop and deliver technical training on new formal features and product updates.
- Work with Synopsys R&D and product engineering teams to communicate customer priorities and feature requests.
- Support customers through complex formal runs, including data path logic verification, math function checks, and assertion-based verification integration.
- Build reusable formal verification flows and best practices.
Krav
- Bachelor's or Master's degree in Electrical Engineering or Computer Engineering.
- 5-7 years of hands-on experience in RTL design or verification, deploying advanced verification methodologies in production environments.
- Deep understanding of formal verification applications including formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking.
- Strong grasp of hardware design languages like Verilog or VHDL and the ability to read and reason about micro-architecture and RTL implementations.
- Proficiency in Unix/Linux environments with solid scripting skills in Tcl, Perl, Python, and shell scripting (bash, csh) for automation and flow development.
- Experience with assertion-based verification is strongly preferred.
- Prior hands-on use of formal verification tools is a significant plus.
Önskade kvalifikationer
- Ability to assess a verification challenge and sketch out a formal approach on a whiteboard.
- Comfortable working autonomously and investigating issues independently.
- Strong prioritization skills to identify critical problems.
- Strong written and verbal communication skills.
- Ability to push back when a proposed formal methodology does not fit the design or timeline.
- Curiosity about root causes of failures in tools, testbenches, or design assumptions.
- Exposure to verification consulting or managing verification responsibility for complex hardware designs is desirable.
Förmåner
- Comprehensive range of health, wellness, and financial benefits.
- Total rewards include both monetary and non-monetary offerings.
- Potential eligibility for an annual bonus, equity, and other discretionary bonuses.
- Competitive total rewards package.
#Formal Verification#RTL Design#Application Engineering#Customer Facing#Technical Training
Företag
Synopsys Inc
Publicerade jobb
för 3 veckor sedan
Anställningstyp
Heltid
Arbetsform
På plats
Erfarenhetsnivå
Mellannivå
Platser
Sunnyvale, United States
Kvalifikation
Kandidatexamen, Masterexamen
Sökande
Ansök tidigt