Formal Verification Lead

Intel Retiree Medical Plan Trust

Bangalore, India
Hybrid
Formal verification environments
Formal models and properties
Formal verification methodologies
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 environments
  • Formal models and properties
  • Formal verification methodologies
  • Digital design principles
  • CPU architecture understanding

Nice-to-have

  • Innovative mindset
  • Out of the box ideas
  • Executional excellence
  • Fast learner
  • Detail oriented

Key Requirements

  • 8+ years of experience in formal verification
  • Master's degree in electrical engineering, Computer Science, or related field
  • Proficiency in Jasper Gold, VC-Formal, or equivalent tools
  • Experience with Verilog, VHDL, SystemVerilog Assertions, PSL
  • Proficiency in Tcl, Python, or Perl scripting is a plus

Work Rights

Not specified

Tailored Resume

Cover Letter