Formal Verification Student

About This Role

• About our organization - Core Engineering Group: We are designing the future of compute.
• We develop Intel's primary, most valuable, and complex IP - the Core.
• The Core is the central part of many Intel's products: Desktops, Notebooks, Servers, Cloud CPUs, and more.
• Our Core is in the heart of hundreds of millions of products being sold every year, and is driving the internet, networking industry, cloud compute, communications, consumer products, and more.
• About the Job: As a Formal Verification (FV) student you will be responsible for verifying the functional correctness of Intel Core Intellectual Property (IP) by applying formal verification techniques and methodologies using vendor tools .
• Your responsibilities will include learning HW microarchitecture and HW implementation at the RTL level.
• You will then be developing and debugging FV proofs for these hardware implementations in Core design to assure zero bugs in Intel Core silicon and products.
• What's Unique about Arithmetic Formal Verification ? You will be working with top experts in the domain as well as junior engineers.
• The work requires extreme attention to details and deep analytical skills for such a complex task: details of the definition, the implementation and in the verification development.
• In your work you will be interacting with most members of the team - Israel and USA.
• As well as with Core architects and design engineers.
• The success is combined from significant self-work and then also from efficient and ongoing interaction with the team.