Senior Formal Verification Engineer

Role Overview

We are looking for an experienced Senior Formal Verification Engineer to join our CPU development team as an XWF (Extended Workforce) member.

In this role, you will be responsible for driving the formal verification of CPU cache designs, ensuring comprehensive verification coverage and proof closure in alignment with the project's verification plan.

You will work closely with CPU architects, design engineers, and the verification team to verify complex microarchitectural features and solve challenging verification problems related to modern CPU design.

Key Responsibilities

• Translate formal verification requirements from the verification plan into complete formal proofs for the Design Under Test (DUT).

• Develop, implement, and maintain formal verification environments and methodologies for CPU cache verification.

• Create and debug SystemVerilog Assertions (SVA) to verify functional correctness.

• Analyze proof failures, identify root causes, and collaborate with design engineers to resolve issues.

• Drive formal verification closure while ensuring high-quality verification coverage.

• Debug complex microarchitectural behaviors, including:

  • Branch prediction

  • Memory concurrency

  • Cache coherency and related cache behaviors

• Work closely with CPU architects and RTL designers to verify new features throughout the development lifecycle.

• Contribute to the continuous improvement of formal verification methodologies, processes, and best practices.

Required Skills & Qualifications

• Experience in Formal Verification.

• Extensive hands-on experience with Cadence JasperGold or equivalent formal verification tools.

• Strong expertise in SystemVerilog Assertions (SVA) and property-based verification.

• Deep understanding of CPU microarchitecture, including:

  • Pipelines

  • Cache architecture

  • Branch prediction

  • Memory concurrency

• Proven ability to translate verification requirements into complete and robust formal proofs.

• Strong debugging and analytical skills, with the ability to solve complex verification challenges.

• Excellent communication and collaboration skills.

Preferred Qualifications

• Experience verifying CPU IP or other complex processor subsystems.

• Experience working on high-performance CPU or SoC development projects.

• Familiarity with industry-standard verification methodologies and best practices.

• Experience working effectively in cross-functional engineering teams.

Key Competencies

• Formal Property Development

• SystemVerilog Assertions (SVA)

• JasperGold / Formal Verification Tools

• CPU Microarchitecture

• Cache Verification

• Proof Debugging and Closure

• Property-Based Verification

• RTL Debugging

• Cross-Functional Collaboration