CPU Formal Verification Engineer

Job Title

CPU Formal Verification Engineer

Role Summary

Verify IP and SoC microarchitectures using formal methods to ensure correctness of architectural and microarchitectural features. Work closely with architects, RTL developers, and physical design teams to define verification scope, create proofs, and resolve failing checks.

Experience Level

Entry-level — typically requires 1+ years of relevant experience in formal verification.

Responsibilities

Key duties for this role include developing and executing formal verification plans and improving verification infrastructure.

• Perform formal verification of IP and SoC microarchitectures using model checking and equivalence checking.
• Develop formal verification test and coverage plans; define scope, strategy, and techniques.
• Create and apply abstraction models and techniques to achieve verification convergence.
• Develop formal proofs and diagnose/resolve failing tests.
• Collaborate with architects, RTL developers, and physical design teams on verification and design issues.
• Document verification plans and lead technical reviews.
• Maintain and enhance functional verification infrastructure and methodologies for scalability.
• Apply formal modeling techniques such as BDD and data flow graph analysis to verify protocols and datapaths.

Requirements

Must-have technical skills and experience; preferred items noted separately.

• 1+ years of practical experience in formal verification.
• Proficiency with formal verification tools (Jasper) and formal methodologies including model checking and equivalence checking.
• Strong understanding of abstraction techniques, convergence methodologies, and simulation techniques.
• Experience using binary decision diagrams (BDD) and data flow graphs (DFG) for datapath analysis.

Preferred:

• Experience collaborating with cross-functional teams (architects, RTL, physical design).
• Familiarity with complex architectural protocols and microarchitectural features.
• Ability to document and present verification plans and results effectively.

Education Requirements

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field (with 1+ years of relevant experience) OR a Master's degree in those fields (with 1+ years of relevant experience). Candidates may also qualify via a combination of degree, research, relevant prior job experience, or internships. A Master's degree is listed as preferred.

About the Company

Company: Intel Corporation

Headquarters: Santa Clara, California, USA

Intel Corporation is a leading multinational technology company known for its innovative semiconductor solutions, including microprocessors, artificial intelligence accelerators, and memory products. Headquartered in the United States, Intel focuses on cutting-edge technology and a collaborative working environment, driving advancements in semiconductor manufacturing to meet global demands. The company emphasizes professional development and aims to shape the future of technology through groundbreaking designs.