CPU Core Verification Expert

1 week ago


Bengaluru, Karnataka, India beBeeVerification Full time ₹ 2,00,00,000 - ₹ 2,50,00,000

Formal Verification Engineer

We are seeking a skilled engineer to lead property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals.

The ideal candidate will have experience in formal planning and methodology for control logic, pipelines, and memory subsystems.

Key Responsibilities:

  • Define safety and liveness properties, model check for corner case behavior.
  • Guide designers in writing formal-friendly RTL and assertions.
  • Analyze convergence issues, coverage gaps, and create abstraction models.
  • Integrate formal sign-off into project milestones.

Required Skills:

  • 8+ years of formal verification experience with CPUs or processors.
  • Strong expertise in JasperGold, VC Formal, OneSpin, or equivalent.
  • Experience in SVA/PSL, abstraction modeling, and formal coverage closure.
  • Strong computer architecture background (pipeline, MMU, interrupt logic).

As a Formal Verification Engineer, you will play a key role in ensuring the quality and reliability of our products.

You will work closely with our design team to identify and address potential issues before they reach production.

This is an excellent opportunity to join a dynamic team and contribute to the development of cutting-edge technology.



  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 35,00,000 - ₹ 40,00,000

    Verification Expertise WantedWe are seeking an experienced Verification Engineer to join our team and lead complex verification projects for CPU cores, memory subsystems, and high-speed PCIe IPs.Key Responsibilities:Develop a Verification Strategy: Create a comprehensive test plan and coverage goals based on architecture and spec reviews.Create Advanced...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 2,00,00,000 - ₹ 2,50,00,000

    Formal Verification ExpertThis role involves owning the verification process of CPU cores, pipeline stages, and subcomponents with exhaustive proof goals. We are seeking a highly skilled expert in formal verification to lead this effort.Key ResponsibilitiesLead planning and methodology for control logic, pipelines, and memory subsystems.Define safety and...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 19,37,500 - ₹ 23,45,000

    CPU Verification Engineer Job Description Role OverviewWe are seeking a skilled and motivated CPU verification engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full...

  • CPU Core Expert

    3 days ago


    Bengaluru, Karnataka, India beBeeVerification Full time ₹ 80,00,000 - ₹ 1,50,00,000

    Senior CPU Verification EngineerWe are seeking an experienced and skilled CPU Verification Engineer to contribute to the verification of high-performance, low-power CPU cores. In this role, you will develop scalable testbenches, drive complex test scenarios, and ensure full functional coverage and quality sign-off.Key Responsibilities:Verification engineer...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 2,00,00,000 - ₹ 2,50,00,000

    \\CPU Verification Experts\\Seeking a highly skilled CPU verification engineer to contribute to the development of scalable testbenches, drive complex test scenarios, and ensure full functional coverage.\\We require an individual with strong hands-on experience in SystemVerilog and UVM methodology, a deep understanding of CPU microarchitecture, and expertise...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,50,00,000

    CPU Verification ExpertOur organization is seeking an experienced and skilled CPU verification professional to join our microprocessor verification team. In this role, you will contribute to the verification of high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full functional coverage and...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,00,00,000

    High-performance CPU engineers are sought after to work on the verification of complex processor cores. As a member of our team, you will be responsible for creating and implementing scalable testbenches, executing intricate test scenarios, and ensuring comprehensive functional coverage.The key responsibilities of this role include:Developing C-based...


  • Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,50,00,000 - ₹ 2,00,00,000

    We are seeking a highly skilled CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full functional coverage and quality sign-off.Experience with...


  • Bengaluru, Karnataka, India beBeeExpertise Full time US$ 1,50,000 - US$ 2,00,000

    We are seeking a seasoned DFT expert to lead our CPU core design efforts.Job Description:The ideal candidate will have a strong background in design for test and verification methodologies, with extensive experience in CPU core design. They will be responsible for developing and implementing comprehensive DFT strategies, collaborating with cross-functional...


  • Bengaluru, Karnataka, India beBeeVerification Full time US$ 1,50,000 - US$ 1,75,000

    **CPU Verification Specialist Opportunity**We are seeking a skilled and motivated CPU verification engineer to contribute to the verification of high-performance, low-power CPU cores. The ideal candidate will develop scalable testbenches, drive complex test scenarios, and ensure full functional coverage and quality sign-off.The right professional has strong...