Formal Verification Engineer

undefined ago • 5 Years + • Software Development & Engineering

Job Summary

Job Description

Intel is seeking a Formal Verification Engineer to join the Data Center and AI (DCAI) group, focusing on Xeon products and industry-leading IPs. This role involves verifying microarchitecture using industry-standard Formal Verification tools, defining FV scope, deploying advanced formal techniques, and creating abstraction models. Responsibilities include developing comprehensive formal verification test plans, tracking progress, applying abstraction, and ensuring high-quality design delivery. The engineer will also analyze new methodologies and evaluate tools, working closely with design and cross-site teams.
Must have:
  • Verify microarchitecture using industry standard Formal Verification tools and technologies
  • Use hardware architecture design and RTL implementation details
  • Define Formal Verification scope and deploy the right strategy
  • Deploy advanced formal techniques and create abstraction models
  • Create comprehensive formal verification test plans
  • Track, verify, apply abstraction techniques, and converge on complex designs
  • Deliver high-quality design on schedule and articulate ROI
  • Analyze new methodologies, evaluate new tools, and corroborate results
  • 5+ years of experience in IP verification
  • Hands-on experience in applying formal property verification for IP signoff
  • Hands-on experience in resolving convergence issues using Formal Verification
  • Managing and guiding juniors in verification tasks
Good to have:
  • Expertise in FV verification planning and strategies
  • Good understanding of FV tools and capabilities

Job Details

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.

Similar Jobs

Riot Games - Senior Manager, Publishing Product Management, 2XKO APAC

Riot Games

Singapore (On-Site)
4 Months ago
Sportskeeda - Content Writer - College Basketball/NBA & WNBA

Sportskeeda

India (On-Site)
3 Months ago
WebFX - Entry Level Software Engineer

WebFX

Harrisburg, Pennsylvania, United States (On-Site)
9 Months ago
PwC - Manager - Talent Acquisition

PwC

Kuala Lumpur, Federal Territory Of Kuala Lumpur, Malaysia (On-Site)
9 Months ago
Philips - Zone Service Lead (West Coast)

Philips

United States (On-Site)
2 Months ago
Globalization Partners - Software Engineering Manager

Globalization Partners

Ireland (Remote)
1 Month ago
Nagarro - Associate Principal Engineer - SAP SD Consultant

Nagarro

United States (Remote)
9 Months ago
Jane Street - Software Engineer

Jane Street

Hong Kong (On-Site)
3 Weeks ago
Nagarro - Associate Staff Engineer

Nagarro

Canada (Remote)
9 Months ago
Assystems - Design Engineer – Substation (MEP)

Assystems

Gurugram, Haryana, India (On-Site)
9 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

nord current - Lead 2D Artist

nord current

Vilnius, Vilnius County, Lithuania (On-Site)
7 Months ago
Tesla - Store Supervisor

Tesla

Memmingen, Bavaria, Germany (On-Site)
5 Months ago
Pinterest - Staff Product Manager, Performance Ads

Pinterest

San Francisco, California, United States (Hybrid)
1 Week ago
PwC - Senior Associate - SAP APO/SNP - RDC

PwC

Kolkata, West Bengal, India (On-Site)
9 Months ago
GoTo Group - Creative Director

GoTo Group

Jakarta, Indonesia (On-Site)
1 Month ago
FlockSafety - Corporate Development Manager

FlockSafety

Atlanta, Georgia, United States (Remote)
1 Week ago
LLNL - Environment, Safety & Health Deputy Associate Director

LLNL

Livermore, California, United States (Hybrid)
3 Weeks ago
IMC - Financial Reporting Analyst

IMC

Chicago, Illinois, United States (On-Site)
1 Month ago
Cubic corporation - Associate Systems Support Engineer

Cubic corporation

Salfords, England, United Kingdom (Hybrid)
1 Year ago
Housemarque - Lead Lighting Artist

Housemarque

Helsinki, Uusimaa, Finland (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

Ajmera Infotech - Senior .NET Developer with Cloud Expertise

Ajmera Infotech

Ahmedabad, Gujarat, India (On-Site)
1 Month ago
Capgemini - Lead Software Engineer

Capgemini

Coimbatore, Tamil Nadu, India (On-Site)
1 Month ago
beghou consulting - Senior GRC Analyst

beghou consulting

Hyderabad, Telangana, India (Hybrid)
1 Month ago
Accenture - Test Automation Engineer

Accenture

Bengaluru, Karnataka, India (On-Site)
1 Month ago
Paytm - Business Analyst - Assistant Manager - General Trade QR

Paytm

Noida, Uttar Pradesh, India (On-Site)
1 Month ago
Square - Oracle HCM Consultant

Square

Hyderabad, Telangana, India (On-Site)
1 Day ago
Dentsu - Account Manager - Traditional Media

Dentsu

Chennai, Tamil Nadu, India (On-Site)
1 Month ago
Luxoft - Murex Front Office Developer

Luxoft

Hyderabad, Telangana, India (On-Site)
8 Months ago
Glean - Managing Commercial Counsel

Glean

Bengaluru, Karnataka, India (Hybrid)
3 Weeks ago
Assystems - Service Delivery Manager (Aconex, Primavera P6 , Unifier)

Assystems

Gurugram, Haryana, India (On-Site)
9 Months ago

Get notifed when new similar jobs are uploaded

Software Development & Engineering Jobs

legion - Engineering Manager, Software Development

legion

United States (Remote)
2 Weeks ago
Veeam Software - Observability Engineer

Veeam Software

Bucharest, Bucharest, Romania (On-Site)
3 Weeks ago
Capgemini - SAP CPQ Technical

Capgemini

Bengaluru, Karnataka, India (On-Site)
2 Months ago
HappyRobot - Forward Deployed Engineer

HappyRobot

Madrid, Community Of Madrid, Spain (Remote)
4 Months ago
Crowd Strick - Director, Federal Sales Engineering (Remote)

Crowd Strick

Washington, District Of Columbia, United States (Remote)
4 Days ago
Aristocrat - ECO Administrator, Hardware Engineering

Aristocrat

Las Vegas, Nevada, United States (On-Site)
1 Month ago
Fluxon - Staff Software Engineer

Fluxon

Kraków, Lesser Poland Voivodeship, Poland (Remote)
2 Months ago
Saronic Technologies - Senior Loads & Dynamics Engineer

Saronic Technologies

Austin, Texas, United States (On-Site)
1 Day ago
Expedia - Senior Software Development Engineer, Advertising Technology

Expedia

Chicago, Illinois, United States (On-Site)
1 Month ago
Adyen - Storage Engineer

Adyen

Amsterdam, North Holland, Netherlands (On-Site)
4 Days ago

Get notifed when new similar jobs are uploaded

About The Company

Visit our Careers at Intel site and discover how it is to work here. Search jobs, get to know employees and learn more about benefits at Intel:

Phoenix, Arizona, United States (On-Site)

Bengaluru, Karnataka, India (On-Site)

Penang, Malaysia (On-Site)

Bengaluru, Karnataka, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

Australia (Remote)

Phoenix, Arizona, United States (On-Site)

San José Province, Costa Rica (On-Site)

Austin, Texas, United States (On-Site)

View All Jobs

Get notified when new jobs are added by Intel

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug