Technical ownership of formal verification of a microarchitecture block, methodology, or otherwise significant aspect of the P-Core CPU.
Understand and contribute to micro-architecture specification and define the formal verification strategy for a significant portion of the design.
Lead ROI analysis and recommend appropriate use of formal verification vs dynamic validation techniques for relevant parts of the CPU.
Document formal test plans and drive technical reviews of plans and proofs with design and architecture teams.
Post-silicon failure debug and sighting resolution.
Mentor junior team members.
Develop validation automation tools to accelerate execution.
Collaborate on validation approach and strategy beyond immediate team.
Work with global Formal verification experts and design teams within the organization.

Requirements

Bachelors degree in Computer/Electrical Engineering or Computer Science and 3+ years of relevant work experience.
Masters degree in Computer/Electrical Engineering or Computer Science and 2+ years of relevant work experience.
PhD in Computer/Electrical Engineering or Computer Science with an emphasis on formal verification and 1+ years of relevant work experience.
1+ years of experience in/with computer architecture 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.
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, OVM, UVM and familiarity with any of scripting languages: Perl, Python, Ruby, TCL.

Benefits

competitive pay
stock bonuses
health
retirement
vacation

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard skills

formal verificationmicroarchitecturevalidation automationassertion writingchecker developmentcoverage analysisfailure debugroot cause analysisC/C++Java

Soft skills

technical ownershipmentoringcollaborationdocumentationleadership