Intel Corporation · 23 hours ago
CPU Formal Verification Engineer
Santa Clara, CA
Full-time
Onsite
Mid, Senior Level
$142K/yr - $200K/yr
4+ years expIntel Corporation is a leader in semiconductor innovation, and they are seeking a CPU Formal Verification Engineer to impact the development of next-generation server CPUs. The role involves conducting verification of IP and SoC microarchitecture, creating formal verification test plans, and collaborating with various teams to improve verification processes.
Semiconductors
Responsibilities
Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking and equivalence checking algorithms
Creates comprehensive formal verification test and coverage plans including definition of formal verification scope, strategy, and techniques
Creates abstraction models for convergence on the design, carves out the right boundaries for the design, and tracks, verifies, and applies abstraction techniques
Develops formal proofs to implement the verification plan, reviews the completed proofs, and develops new formal verification methodologies
Performs convergence on design by creating formal verification methodology, abstraction, and simulation techniques
Finds and implements corrective measures to resolve failing tests
Collaborates with architects, RTL developers, and physical design teams to improve verification of complex architectural and microarchitectural features
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
Understands the binary decision diagram (BDD) and data flow graph (DFG) for data paths and resolves the BDD complexity on arithmetic
Applies understanding of modeling architecture to simplify and model the problem and uses tools to formally prove protocols and architectures
Qualification
Required
You must possess a B.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ years of experience listed below
OR a M.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 4+ years of experience listed below
OR a PhD in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ months of experience listed below
Computer architecture knowledge with emphasis on out of order processor execution, memory hierarchy, and memory management
Hands on experience with industry standard formal verification tools such as JasperGold, Questa Formal, VC Formal
Experience with formal abstractions and other complexity reduction techniques
Experience with a hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools
Experience in assertion writing, checker development, coverage analysis, failure debug, root cause analysis
Preferred
Knowledge of Intel Architecture ISA and system architecture, x86 assembly language
Post-silicon debug and analysis
Research publications, patent filings, or other evidence of personal technical innovation in validation methodology advancement
Experience with applying sequential equivalence checking in complex micro-architectures
Programming experience in at least one language: C/C++, Perl, Python, Ruby, Java, TCL, etc
Intel or industry experience in 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