Formal Verification Lead

Intel

Bangalore, India
Hybrid
Formal verification methodologies and tools
Develop formal verification environments
Create and maintain formal models
Lead and drive formal verification efforts for complex, industry-leading CPU designs including i9, i7, i5, and Xeon processors

Job Summary

  • Lead and drive formal verification efforts for complex, industry-leading CPU designs including i9, i7, i5, and Xeon processors.
  • Collaborate closely with cross-geographical design and architecture teams to understand specifications and identify verification needs.
  • Benchmark and develop new formal methodologies and tool flows to prove the correctness and reliability of complex digital circuits.

Matching Summary

Lead and drive formal verification efforts for complex, industry-leading CPU designs including i9, i7, i5, and Xeon processors.

Skills & Requirements

Must-have

  • Formal verification methodologies and tools
  • Develop formal verification environments
  • Create and maintain formal models
  • Debug verification failures
  • CPU architecture understanding
  • Digital design principles

Nice-to-have

  • Fast learner and detail oriented
  • Innovative mindset and efficiency
  • Scripting languages proficiency

Key Requirements

  • Master's degree in electrical engineering, Computer Science, or related field
  • 8+ years of experience in formal verification
  • Proficiency in Jasper Gold, VC-Formal, or equivalent
  • Experience with Verilog, VHDL, SystemVerilog Assertions, PSL
  • Excellent problem-solving and debugging skills

Work Rights

Not specified

Tailored Resume

Cover Letter