Pre-Si Validation Engineer

Intel Corporation; Toronto; Hybrid; CAD 154,000 - 217,000; Full time

Benefits offered by this job

Hybrid work model

Job summary

Intel Corporation in Toronto, Canada seeks an experienced Formal Verification Engineer to ensure the reliability of IP and SoC designs. You will apply formal verification methods, model checking, and abstraction techniques to tackle complex architectural challenges and collaborate with RTL and physical design teams.

The role demands strong communication, a deep understanding of CPU architecture, and extensive experience with formal verification tools and test planning.

Qualifications

• Bachelor's or BS degree in Electrical Engineering or Computer Engineering.
• 6+ years of experience with formal verification tools and methodologies.
• Experience with SystemVerilog, test content development and test planning.
• Strong knowledge of CPU architecture fundamentals, cache coherence, and CXL coherence.
• Eligible for Intel employment in Canada; sponsorship not available.
• Advanced degree preferred (Master's with 4+ years or PhD with 2+ years).

Responsibilities

• Conduct formal verification of IP and SoC microarchitecture using model checking and equivalence checking.
• Develop comprehensive formal verification test and coverage plans, including scope, strategy, and techniques.
• Create abstraction models and apply abstraction techniques to ensure design convergence.
• Develop and review formal proofs to implement the verification plan and improve methodologies.
• Perform convergence on designs by combining formal verification with abstraction and simulation.
• Identify and implement corrective measures to resolve failing tests for robust design functionality.
• Collaborate with architects, RTL developers, and physical design teams to enhance verification of complex features.
• Document and maintain test plans and drive technical reviews with design teams.
• Maintain and improve the existing formal verification infrastructure and methodology.
• Apply modeling architectures, BDD, and DFG to resolve arithmetic pathway complexity.
• Use formal tools to prove protocols and architectures with precision.

Skills

Formal verification

Model checking

Equivalence checking

SystemVerilog

CPU architecture knowledge

Test planning

Collaboration

Education

Bachelor's or BS in Electrical/Computer Engineering

Master's or PhD (bonus)

Tools

Model checking tools

Equivalence checking tools

BDD (Binary Decision Diagrams)

DFG (Data Flow Graph)

Job description

Job Details: Job Description: The Role and Impact Join Intel's cutting-edge team as a Formal Verification Engineer, where you will play a pivotal role in ensuring the quality and reliability of our next-generation IP and SoC designs. Your work will directly contribute to the delivery of innovative, high-performance solutions that drive Intel's success and leadership in the semiconductor industry. As part of a collaborative and dynamic environment, you will work alongside architects, RTL developers, and physical design teams, applying state-of-the-art formal verification tools and methodologies to tackle complex architectural and microarchitectural challenges. This is a unique opportunity to make a significant impact while advancing Intel's mission to shape the future of technology.

Key Responsibilities

• Conduct formal verification of IP and SoC microarchitecture using advanced tools and methodologies based on model checking and equivalence checking algorithms.
• Develop comprehensive formal verification test and coverage plans, including defining verification scope, strategy, and techniques.
• Create abstraction models, carve boundaries for design, and track, verify, and apply abstraction techniques to ensure design convergence.
• Develop and review formal proofs to implement the verification plan while continuously improving verification methodologies.
• Perform convergence on designs by combining formal verification techniques with abstraction and simulation methods.
• Identify and implement corrective measures to resolve failing tests, ensuring robust design functionality.
• Collaborate closely with architects, RTL developers, and physical design teams to enhance the verification of complex architectural features.
• Document and maintain test plans, driving technical reviews with design and architecture teams.
• Maintain and improve the existing formal verification infrastructure and methodology.
• Apply advanced understanding of modeling architectures, binary decision diagrams (BDD), and data flow graphs (DFG) to resolve design complexity, particularly on arithmetic pathways.
• Utilize formal tools to prove protocols and architectures, simplifying and modeling problems with technical precision.

Behavioral Traits

• Demonstrated problem-solving skills.
• Strong communication skills.

Qualifications

• Bachelor's or BS degree in Electrical Engineering, Computer Engineering, or a related specialized field.
• 6+ years of experience working with: Formal verification tools and methodologies, such as model checking, equivalence checking algorithms, and abstraction techniques. System Verilog, test content development, and test planning. CPU architecture fundamentals, cache coherence, and CXL coherence.
• This position is not eligible for Intel immigration sponsorship.
• Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
• Master's degree (with 4+ years of experience) or PhD (with 2+ years) in Electrical Engineering, Computer Engineering, or a related specialized field.
• Previous experience working and solving problems in groups and collaborative environments.
• Experience in technical reviews and effectively document plans and methodologies.
• Experience working within a high-performance design and verification team, contributing to successful project outcomes.

Job Type: Experienced Hire Shift: Shift 1 (Canada) Primary Location: Canada, Toronto Additional Locations:

Posting Statement: All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation or any other characteristic protected by local law, regulation, or ordinance.

Position of Trust N/A Annual Salary Range for jobs which could be performed in Canada CAD 153,910.00-217,280.00 Salary range dependent on a number of factors including location and experience.

Work Model for this Role This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change. Canada Accommodation: Intel is committed to a culture of accessibility. Intel provides accommodations to applicants and employees with disabilities. Find information and request accommodation here.

* ADDITIONAL INFORMATION: Intel is committed to Responsible Business Alliance (RBA) compliance and ethical hiring practices. We do not charge any fees during our hiring process. Candidates should never be required to pay recruitment fees, medical examination fees, or any other charges as a condition of employment. If you are asked to pay any fees during our hiring process, please report this immediately to your recruiter. Intel’s official careers website. Find your next job and take on projects that shape tomorrow’s technology.