Principal Application Engineer, VC Formal
BengaluruFull-time10–15 yrsPosted over a month ago
Leadership software engineering role at Synopsys (incl. Ansys) in Bengaluru. Needs 10–15 years.
About the role
Principal Application Engineer, VC Formal at Synopsys (incl. Ansys). Lead technical deployment of VC Formal solutions at customer sites, assessing verification environments and recommending formal methodologies tailored to their design….
What you'll do
- Lead technical deployment of VC Formal solutions at customer sites, assessing verification environments and recommending formal methodologies tailored to their design…
- Analyze customer design blocks to identify the right targets for formal property checking, sequential equivalence checking, formal coverage analysis
- Diagnose root causes of tool performance issues, including state space explosion and convergence problems, then optimize formal test benches to achieve proof closure
- Develop and deliver technical training to customer teams on new VC Formal features, product updates, and formal verification best practices
- Support customers in applying formal verification to complex logic including data path verification, math functions, and sequential equivalence across design revisions
What you need
- Verilog
- Roadmapping