VC Formal Staff Application Engineer
SynopsysJob Title
VC Formal Staff Application Engineer
Role Summary
Lead deployment and technical adoption of VC Formal at customer sites by assessing verification environments, recommending formal methodologies, and driving proof closure across SoC and IP designs.
Work directly with customers and Synopsys R&D to diagnose performance issues, optimize formal testbenches, and influence product improvements.
Experience Level
Senior - 4 to 8 years of hands-on formal verification experience.
Responsibilities
Primary responsibilities include customer-facing deployment, diagnostics, and methodology development.
- Lead technical deployment of VC Formal at customer sites; assess verification environments and recommend formal methodologies.
- Identify design blocks suitable for property checking, sequential equivalence checking, connectivity checking, and formal coverage analysis.
- Diagnose tool performance and design complexity bottlenecks; optimize formal testbench modeling to achieve proof closure.
- Develop and deliver technical training on VC Formal features, product updates, and formal verification best practices.
- Collaborate with R&D to communicate customer priorities and influence the product roadmap.
- Apply formal techniques across data path logic, math function proofs, sequential equivalence checking, and formal coverage closure.
Requirements
Must-have technical skills and experience.
- 4–8 years applying formal verification in semiconductor design or verification roles.
- Deep expertise in formal property checking: 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 optimizing testbench modeling.
- Ability to assess customer verification environments and recommend tailored formal solutions.
- Effective customer-facing communication and ability to manage multiple engagements.
Nice-to-have: experience on SoC/IP projects and prior experience delivering customer training or demos.
Education Requirements
Not specified.
About the Company
Company: Synopsys
Headquarters: Mountain View, California, USA
Synopsys is a leading company in electronic design automation (EDA) and semiconductor IP solutions. It provides tools and services for designing and verifying complex semiconductor devices and systems. The company plays a pivotal role in the semiconductor industry, helping engineers innovate and deliver higher-quality products faster. Synopsys is committed to advancing technology standards and offers a range of software and hardware solutions to its clients globally.
