Apply Now    
Job ID: JR0001749
Job Category: Engineering
Primary Location: Hillsboro, OR US
Other Locations:
Job Type: Experienced Hire

CPU Formal Verification Expert

Job Description

If you are passionate about seeing your ideas go from white board to billions of pieces of silicon, join the ground floor of Intel's next generation core design team in Hillsboro, Oregon.

Our goal: to build a revolutionary microprocessor core to power the next decade of computing and create experiences we have yet to dream up. In this position, as a member of the CPU validation team, you will be responsible for defining and implementing formal verification techniques and ensure robust RTL implementation of the next generation core micro-architecture. Your responsibilities may include, but are not limited to, the following: - Investigate and deploy new formal verification techniques and enforcing standard methodologies across the team- Lead ROI analysis and recommend appropriate use of formal verification vs dynamic validation techniques for relevant parts of the CPU- Understand and contribute to micro-architecture specification and define verification strategy for a significant portion of the design- Document formal verification plans and drive technical reviews of plans and proofs with design and architecture teams- Technical ownership of formal verification of one or more micro-architecture blocks through tapein and post-si debug- Identify and create automated formal verification flows for efficient and timely execution- Influence and contribute to post-silicon validation focus and sighting resolution

.Minimum Qualifications:

M.S. in Computer Science or Computer Engineering or Electrical Engineering plus 4 years of relevant work experience OR B.S. in Computer Science or Computer Engineering or Electrical Engineering plus 5 years of relevant work experience.
Total of 4+ years of work experience in the following areas:

  • Advanced knowledge of computer architecture and digital logic design
  • 3+ years of experience in formal verification of complex IPs like CPUs, GPUs etc.
  • Hands on experience with industry standard formal tools such as JasperGold, IFV, Questa Formal 
  • Deep understanding of abstraction techniques and formal verification technologies
  • Experience with HDLs such as Verilog/VHDL/SystemVerilog and assertion specifications using SVAs-  Knowledge of dynamic validation techniques and ability to switch between formal and dynamic methods as needed
  • Proficiency in programming/scripting languages like Perl, Python, C/C++ 
  • Excellent problem solving and debugging skills 
  • Ability to technically lead a team to execute against complex goals with aggressive timelines.
  • Strong communication and collaboration skills
  • Ability to tolerate ambiguity and influence decision making in a highly complex environment

Preferred Requirements:  

  • Industry experience in pre-silicon validation of CPU cores or other similar scope IPs   
  • Familiarity with test environment languages like Specman/E, System Verilog UVM/OVM and simulation failure debug experience
  • Familiarity with emulation, FPGA and other HW acceleration techniques
  • Experience in post-si debug and failure reproduction in pre-silicon using formal or dynamic tools-  Research publications, patent filings, or other evidence of personal technical innovation in formal verification or/and validation methodology advancement


Qualifications

Inside this Business Group

The Platform Engineering Group (PEG) is responsible for the design, development, and production of system-on-a-chip (SoC) products that go into Intel’s next generation client and mobile platforms. PEG strives to lead the industry moving forward through product innovation and world class engineering.


Posting Statement. Intel prohibits discrimination based on race, color, religion, gender, national origin, age, disability, veteran status, marital status, pregnancy, gender expression or identity, sexual orientation or any other legally protected status.
Apply Now    

What would you like to do now?

Connect with Us

Get Job Alerts

Get started
Student Center

Find out more about working at Intel

Learn more
Education

Jobs@Intel Blog

Learn more

Grow your network of opportunities