Cpu Formal Verification Lead

Intel

Bangalore, India
Hybrid
Formal verification environments
Cpu design verification
Formal models and properties
Lead and drive formal verification efforts for complex, industry-leading CPU designs (i9, i7, i5, and Xeon processors)

Job Summary

  • Lead and drive formal verification efforts for complex, industry-leading CPU designs (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 (i9, i7, i5, and Xeon processors).

Skills & Requirements

Must-have

  • Formal verification environments
  • CPU design verification
  • Formal models and properties
  • Debugging verification failures
  • Formal verification technologies

Nice-to-have

  • Fast learner
  • Detail oriented
  • Innovative mindset
  • Out of the box ideas
  • Scripting languages proficiency

Key Requirements

  • Master's degree in electrical engineering, Computer Science, or related field
  • 8+ years of experience in formal verification
  • Strong understanding of digital design principles
  • Proficiency in formal verification tools (Jasper Gold, VC-Formal)
  • Experience with Verilog, VHDL, SystemVerilog Assertions, PSL

Work Rights

Not specified

Tailored Resume

Cover Letter