Principal Application Engineer, VC Formal
Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling
I korthet
Synopsys is looking for a Principal Application Engineer with extensive experience in formal verification to lead technical deployments at customer sites. This role involves analyzing customer designs, optimizing formal methodologies, and providing training to shape the future of silicon verification.
Ansvarsområden
- Lead technical deployment of VC Formal solutions at customer sites.
- Assess verification environments and recommend formal methodologies tailored to design challenges.
- Analyze customer design blocks to identify targets for formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking.
- Diagnose and resolve tool performance issues like state space explosion and convergence problems.
- Optimize formal test benches to achieve proof closure.
- Develop and deliver technical training on VC Formal features and best practices.
- Communicate customer priorities and technical requirements to Synopsys R&D and product engineering.
- Support customers in applying formal verification to complex logic, including data path, math functions, and sequential equivalence.
Krav
- 10 to 15 years of hands-on experience in digital design verification, with deep expertise in formal verification methodologies.
- Strong application knowledge of formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking.
- Proven experience diagnosing and resolving formal tool performance issues, including convergence problems and proof optimization.
- Solid understanding of RTL design, SystemVerilog, and verification test bench development.
- Experience working directly with customers in a technical consulting, application engineering, or field engineering role.
Önskade kvalifikationer
- Experience with VC Formal or equivalent formal verification tools is a strong plus.
- Ability to walk into a customer meeting, listen to a verification challenge, and sketch out a formal methodology.
- Skill to push back on customer requests that will not solve the real problem and explain why.
- Comfortable moving between deep technical debugging, writing formal properties, and presenting results to engineering leadership.
- Treat every customer deployment as a learning opportunity for both the customer and the product team.
- Organized to manage multiple customer engagements simultaneously.
Förmåner
- Comprehensive range of health, wellness, and financial benefits.
- Total rewards include both monetary and non-monetary offerings.
- Opportunity to work directly with customers building complex chips.
- Influence product roadmap by communicating customer priorities.
- Become a trusted advisor on verification strategy.
#verification#formal verification#application engineering#customer facing#RTL#SystemVerilog
Företag
Synopsys Inc
Publicerade jobb
för 1 dag sedan
Anställningstyp
Heltid
Arbetsform
På plats
Erfarenhetsnivå
Ledning
Platser
Bengaluru, India
Sökande
Ansök tidigt