Intel Corporation · 3 days ago
CPU Core Formal Verification Engineer
US, California, Folsom
Full-time
Hybrid
Entry, Mid Level
$122K/yr - $232K/yr
2+ years expIntel Corporation is a leading technology company focused on innovation and smart, connected devices. They are seeking motivated engineers to join their Performance Core CPU verification team, responsible for verifying architecture and micro-architecture changes in CPUs using formal verification methods.
Semiconductors
Responsibilities
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
Qualification
Required
Candidate must have a Bachelors degree in Computer/Electrical Engineering or Computer Science and 3+ years of relevant work experience - OR - a Masters degree in Computer/Electrical Engineering or Computer Science and 2+ years of relevant work experience - OR - a 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
1+ years of experience in/with Industry standard formal verification tools such as JasperGold, IFV, Questa Formal, VC Formal
1+ years of experience in/with Hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools
1+ years of experience in/with Assertion writing, checker development, coverage analysis, failure debug, root cause analysis
1+ years of experience in/with Programming in at least one language: C/C++, Java, Specman E, OVM, UVM and familiarity with any of scripting languages: Perl, Python, Ruby, TCL
Preferred
Knowledge of Intel Architecture ISA and system architecture, x86 assembly language
Experience with pre- and post-silicon debug and analysis
Research publications, patent filings, or other evidence of personal technical innovation in validation methodology advancement
Applying sequential equivalence checking in complex micro-architectures
Formal abstractions and other complexity reduction techniques
Intel or industry pre-silicon verification of CPU cores, including specific areas of technical ownership/expertise relevant to CPUs
Benefits
Competitive pay
Stock bonuses
Health
Retirement
Vacation
Company
Intel Corporation
Our mission is to shape the future of technology to help create a better future for the entire world, that’s the power of Intel Inside.
10001+ employees
H1B Sponsorship
Intel Corporation has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2793)
2024 (3717)
2023 (3576)
2022 (4811)
2021 (3359)
2020 (1174)
Funding
Current Stage
Late StageLeadership Team
Brea Watts, MFA
Communications Manager, CEO
Carol Bartz
CEO
Recent News
Company data provided by crunchbase