Skip to main content

CPU Core Formal Verification Eng

Folsom, קליפורניה Job ID JR0252832 Job Category Silicon Hardware Engineering Work Mode Hybrid Experience Level Experienced

Job Description

Performs functional verification of CPU logic to ensure design will meet specification requirements. Develops IP verification plans, test benches, and the verification environment to ensure coverage to confirm to CPU microarchitecture specifications. Executes verification plans and defines and runs system simulation models to verify the design, analyze power and timing, and uncover bugs. Replicates, root causes, and debugs issues in the presilicon environment. Finds and implements corrective measures to resolve failing tests. Collaborates with CPU architects, RTL developers, and physical design teams to improve verification of complex architectural and microarchitectural features and to meet functional, performance, and power goals. Documents test plans and drives technical reviews of plans and proofs with design and architecture teams. Maintains and improves existing functional verification infrastructure and methodology. Participates in the definition of architecture and microarchitecture features of the CPU being designed actively.


You must possess the below minimum qualifications to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.

Minimum Qualifications:

Candidate must have a Bachelors degree in Computer Engineering or Electrical Engineering and 3+ years of relevant work experience - OR - a master's degree in computer engineering or electrical engineering and 2+ years with relevant work experience. 2+ years' experience in/with:

In-depth computer architecture knowledge with emphasis on out of order processor execution, memory hierarchy, and memory management

Industry standard formal verification tools such as JasperGold, IFV, Questa Formal, VC Formal

Applying sequential equivalence checking in complex micro-architectures

Formal abstractions and other complexity reduction techniques.

Hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools

Assertion writing, checker development, coverage analysis, failure debug, root cause analysis

Programming in at least one language: C/C++, Java, Specman E etc and familiarity with any of scripting languages: Perl, Python, Ruby, TCL

Intel or industry experience in pre-silicon verification of CPU cores, including specific areas of technical ownership/expertise relevant to CPUs

Preferred Experience

Knowledge of Intel Architecture ISA and system architecture, x86 assembly language. Pre/Post-silicon debug and analysis Research publications, patent filings, or other evidence of personal technical innovation in validation methodology advancement.

Inside this Business Group

The Core and Client Development Group (C2DG) is a worldwide organization focused on the development and integration of SOCs, Core ™, and critical IPs that power Intel's leadership products, driving most of the Client roadmap for CCG, Delivering Server First Cores that enable continued growth for DCG and invest in future disruptive technologies.

Posting Statement

All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.


We 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 US, California: $123,419.00-$185,123.00
*Salary range dependent on a number of factors including location and experience

Working Model

This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. In certain circumstances the work model may change to accommodate business needs.

לא נצפו משרות לאחרונה.

לצפייה בכל המשרות

לא נצפו משרות לאחרונה.

לצפייה בכל המשרות