Formal Verification Engineer

Job Description:

Do Something Wonderful Intel put Silicon in Silicon Valley. No one else is obsessed with engineering and have a brighter future. Every day, we create world-changing technology that enriches the lives of every person on earth. So, if you have a big idea, let's do something wonderful together. Join us, because at Intel, we are building a better tomorrow.

Who We Are

The Data Center and AI (DCAI) delivers leadership Xeon products to cloud, datacenter and AI customers through development of industry leading IPs that enhances product performance and competitiveness in both Xeon and AI platforms. IP design group within DCAI designs Coherent Fabric IP, Memory controller, NOC, PCIE and many fundamental building blocks for the Xeon server SOCs.

Who You Are

Come and join a winning team at FVCTO (Formal Verification Central Tech Office).

As a Formal Verification Engineer, you will be responsible the following but not limited to:

• Verify microarchitecture using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms on world class design IPs and SOCs for Server, Client and Graphics.
• Use the hardware architecture design and RTL implementation details.
• Define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design.
• Carve out the right boundaries for the design, create comprehensive formal verification test plans, track, verify, apply abstraction techniques, and converge on complex designs to deliver a high-quality design on schedule and articulate the ROI.
• Analyses new methodologies, evaluates new tools and corroborates results. In addition to the qualifications, a successful candidate will demonstrate: Problem solving and debugging skills.
• Willingness to work closely with various design teams and cross site teams.
• Verbal and written communication skills.
• Motivated, self-directed, and can work effectively both independently and in a team environment.