Intel FVCTO - Formal Verification Specialist United States, Texas 285170422
Share
a brighter future. Every day, we createtechnology that enriches the lives of every person on earth. So, if you have a big idea,
The Data Center and AI (DCAI) delivers leadership Xeon products to cloud,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
the winningVerification Engineer, you will be responsible the following but not limited to:
microarchitecture using industry standard Formal Verification tools and technologies based onlatest model checking and equivalence checking algorithms on world class design IPs and SOCsfor Server,Clientand Graphics.
Use the hardware architecture design and RTL implementation
Define the Formal Verification scope, deploy the right strategy to provecorrectnesswhile deploying advanced formal techniques, and create abstraction models for convergence onthe design.
Carve out the right boundaries for the design, create comprehensive formalverification test plans, track, verify, apply abstraction techniques, and converge on complexdesigns to deliver a high-quality design on schedule and articulate the ROI
Analyses newmethodologies, evaluates newtools,andcorroborates
Work with vendorsto resolveharddesign and tool problems.
In addition to thequalifications,:
Problem solving and debugging skills.
Willingness to work closely with various
Verbal and written communication skills
Motivated, self-
You mustthe minimum education requirements and minimum required qualifications to be initially considered for this position. Relevant experience can be obtained through schoolwork, classes, project work, internships, and/or military experience.preferred qualifications are in addition to therequirements and are considered a plus factor in
Minimum Qualifications
possess the following:
Bachelor's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with9years relevant experience or schoolwork ORMaster's Degree in Electrical Engineering, Computer Engineering, Computer Science or a related field with6years relevant experience or schoolwork OR PhD in Electrical Engineering, Computer Engineering, ComputerScienceor a related field with4yearsrelevant experience or schoolwork
Experience in the following:
RTL languages like System Verilog or VHDL Assertion languages like SVA, formal verification.
Preferred Qualifications
Experience with:
The fundamentals of formal verification technology, including model checking and writing formal assertions to express architectural intent of designs
Formal verification principles and methods
Computer architecture, digitaldesignand verification methods Research in formal verification domain
Benefits:
offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits here:
Annual Salary Range for jobs which could be performed in the US:
This role will require an on-site presence. * Job posting details (such as work model, location or time type) are subject to change.
These jobs might be a good fit
