VC Formal Staff Application Engineer
Teknik, data och digitalt · Mjukvaru- och webbutveckling · Mjukvaruutveckling
I korthet
Synopsys is seeking a VC Formal Staff Application Engineer in Bengaluru, India, to lead technical deployments of formal verification solutions for customers. You will assess customer environments, recommend methodologies, diagnose performance issues, and optimize testbenches for complex SoC and IP designs, directly impacting product roadmaps and customer success.
Ansvarsområden
- Lead technical deployment of VC Formal at customer sites, assessing verification environments and recommending formal methodologies.
- Analyze customer design blocks to identify candidates for formal property checking, sequential equivalence, connectivity checking, and formal coverage analysis.
- Diagnose root causes of tool performance issues and design complexity bottlenecks, optimizing formal testbench modeling for proof closure.
- Develop and deliver technical training on VC Formal features, product updates, and formal verification best practices.
- Work with Synopsys R&D teams to communicate customer priorities and technical requirements influencing product roadmap.
- Apply formal verification across data path logic, math function proofs, sequential equivalence checking, and formal coverage closure.
Krav
- 4 to 8 years of hands-on experience applying formal verification in semiconductor design or verification roles.
- Deep expertise in formal property checking, including writing assertions, constraints, and assumptions for complex digital designs.
- Proven experience with sequential equivalence checking, formal coverage analysis, and connectivity checking methodologies.
- Strong understanding of formal verification theory, including state space exploration, abstraction techniques, and proof convergence strategies.
- Experience diagnosing and resolving formal tool performance issues and testbench modeling optimization.
- Ability to assess customer verification environments and recommend tailored formal solutions.
Önskade kvalifikationer
- Ability to walk into a customer meeting, listen to verification pain points, and sketch out a formal methodology that makes immediate sense.
- Treat failed proofs as puzzles to solve, methodically working through abstraction and constraints until they close.
- Ability to explain assertion issues without making others feel blamed.
- Comfortable recommending simulation over formal when appropriate, prioritizing credibility.
- Ability to manage multiple customer engagements simultaneously without missing commitments.
Förmåner
- Comprehensive range of health, wellness, and financial benefits.
- Total rewards include both monetary and non-monetary offerings.
- Opportunity to influence the VC Formal product roadmap.
- Build reusable formal methodologies that scale across multiple customer engagements and design domains.
- Talented people of every background feel valued and supported.
#VC Formal#Application Engineer#formal verification#semiconductor design#SoC#IP design
Företag
Synopsys Inc
Publicerade jobb
för 2 dagar sedan
Anställningstyp
Heltid
Arbetsform
På plats
Erfarenhetsnivå
Mellannivå
Platser
Bengaluru, India
Sökande
Ansök tidigt