Formal Verification CAD Engineer
BengaluruFull-time2–5 yrsPosted over a month ago
Mid-level mechanical and production role at Qualcomm in Bengaluru. Needs 2+ years and a B.Sc, B.Tech or B.E..
About the role
We are seeking a highly motivated Formal Verification Engineer with 2+ years of experience to join our GCAD Formal team. The ideal candidate will have strong formal verification fundamentals, hands-on experience with formal tools, excellent analytical and scripting skills, and the ability to drive innovative verification methodologies.
What you'll do
- Drive formal verification of complex design blocks using advanced Formal Apps and robust convergence strategies to achieve exhaustive and high‑confidence sign‑off
- Collaborate with worldwide architecture, design, and systems teams to achieve verification goals
- Review and refine formal setups, proofs, constraints, and abstractions with design/DV teams
- Engage with EDA vendors and evaluate advanced DV methodologies to improve sign‑off quality
- Develop automation scripts (Python preferred) to enhance efficiency and scalability of FV flows
Good to have
- Python