VC Formal Staff Application Engineer
BengaluruFull-time4–8 yrsPosted over a month ago
Senior software engineering role at Synopsys (incl. Ansys) in Bengaluru. Needs 4+ years.
About the role
VC Formal Staff Application Engineer at Synopsys (incl. Ansys). Lead technical deployment of VC Formal at customer sites, assessing their verification environments and recommending formal methodologies that fit their design challenges.
What you'll do
- Lead technical deployment of VC Formal at customer sites, assessing their verification environments and recommending formal methodologies that fit their design challenges
- Analyze customer design blocks to identify the right candidates for formal property checking, sequential equivalence, connectivity checking, and formal coverage analysis
- Diagnose root causes of tool performance issues and design complexity bottlenecks, then optimize formal testbench modeling to achieve proof closure
- Develop and deliver technical training on VC Formal features, product updates, and formal verification best practices
- Apply formal verification across data path logic, math function proofs, sequential equivalence checking, and formal coverage closure
What you need
- Roadmapping