CPU Core Formal Verification Eng
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.Qualifications
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.Benefits
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