Hybrid Formal Verification Engineer (IP/SoC)

Intel Corporation; Toronto; Híbrido; CAD 154.000 - 217.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Hybrid work model

Descripción de la vacante

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.

Formación

• 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).

Responsabilidades

• 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.

Conocimientos

Formal verification

Model checking

Equivalence checking

SystemVerilog

CPU architecture knowledge

Test planning

Collaboration

Educación

Bachelor's or BS in Electrical/Computer Engineering

Master's or PhD (bonus)

Herramientas

Model checking tools

Equivalence checking tools

BDD (Binary Decision Diagrams)

DFG (Data Flow Graph)

Descripción del empleo

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.