Bachelor's degree in electrical engineering or computer science
8 years relevant experience in formal verification
Proficiency in systemverilog, vhdl, and sva assertion languages
The role involves verifying microarchitecture using industry standard Formal Verification tools on world-class design IPs and SOCs for Server, Client, and Graphics
Job Summary
The role involves verifying microarchitecture using industry standard Formal Verification tools on world-class design IPs and SOCs for Server, Client, and Graphics.
Candidates will define the Formal Verification scope, deploy advanced strategies to prove correctness, and create abstraction models for convergence on complex designs.
This position is part of the DCAI and Silicon Eng Team at Intel, delivering leadership Xeon products to cloud and datacenter customers.
Matching Summary
The role involves verifying microarchitecture using industry standard Formal Verification tools on world-class design IPs and SOCs for Server, Client, and Graphics.
Salary
Not specified; Not specified; Not specified
Skills & Requirements
Must-have
Bachelor's degree in Electrical Engineering or Computer Science
8 years relevant experience in formal verification
Proficiency in SystemVerilog, VHDL, and SVA assertion languages
Experience with model checking and equivalence checking algorithms
Nice-to-have
Strong problem solving and debugging skills
Ability to work effectively in cross-site teams
Research experience in formal verification domain
Willingness to evaluate new methodologies and tools
Key Requirements
Bachelor's Degree with 8 years experience OR Master's with 7 years OR PhD with 3 years
On-site presence required in Bangalore, India
Experience with RTL languages like SystemVerilog or VHDL