Verifiable CPU Architect

3 days ago


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

**Senior Formal Verification Engineer (CPU)**

Experience is essential in formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals.

  • Lead formal planning and methodology for control logic, pipelines, and memory subsystems
  • 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 with JasperGold, VC Formal, OneSpin or equivalent
  • Expertise in SVA/PSL, abstraction modeling, and formal coverage closure
  • Strong computer architecture background (pipeline, MMU, interrupt logic)
  • Excellent problem-solving, convergence debugging, and documentation skills


  • Bengaluru, Karnataka, India beBeeCPU Full time ₹ 15,00,000 - ₹ 20,00,000

    Job OverviewWe are seeking a skilled CPU subsystem architect to join our team.This role involves designing and verifying CPU subsystems, collaborating with architects and design engineers.The successful candidate will contribute to micro-architectural decisions, considering performance, power, and area trade-offs.A key responsibility of this role is...


  • Bengaluru, Karnataka, India Krutrim Full time

    Job DescriptionJob Title: CPU Firmware ArchitectRole OverviewWe are seeking a highly skilled Core CPU Architect with 1215 years of experience in ARM-based CPU architecture, embedded firmware, and low-level system software. This role requires a hands-on technical leader with deep expertise in CPU microarchitecture, cache/memory subsystems, power-performance...


  • Bengaluru, Karnataka, India beBeeVerification Full time US$ 1,04,000 - US$ 1,30,878

    Job Title:CPU Design Verification EngineerDescription:We are seeking an experienced CPU Design Verification Engineer to verify high-performance and low-power CPUs. The successful candidate will focus on power management features, including boot, reset, clock gating, power gating, voltage/frequency management, limit management, and throttling.Key...


  • Bengaluru, Karnataka, India beBeeDesigner Full time

    Job Title: CPU ArchitectAbout The Role:Develop and implement the logic design, register transfer level (RTL) coding, and simulation for a CPU required to generate cell libraries, functional units, and the AI SOC/CPU IP block for integration in full chip designs.Contribute actively in the definition of architecture and microarchitecture features of the AI...


  • Bengaluru, Karnataka, India beBeeArchitect Full time ₹ 20,00,000 - ₹ 25,00,000

    Senior CPU Architect PositionWe are seeking an experienced Senior CPU Architect to drive the development of high-performance CPU architectures.Main Responsibilities:Design and develop high-performance CPU subsystems, collaborating with architects and design engineers to achieve optimal performance, power, and area trade-offs.Develop detailed design documents...


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

    Are you a CPU design and verification expert looking to join a dynamic team?Job DescriptionWe are seeking a highly skilled CPU Subsystem Design and Verification Engineer to join our team.This role involves participating in the design of CPU subsystems, collaborating with architects and design engineers to develop detailed design documents and schematics for...


  • Bengaluru, Karnataka, India beBeeCPU Full time ₹ 1,04,000 - ₹ 1,30,878

    High-Performance CPU Software ArchitectWe are seeking an experienced CPU Software Architect to contribute to the architecture of HW/SW interfaces and the design and development of low-level firmware such as CPU bootstrapping and power controllers.Micro-code optimizationFirmware design and development for idle and active CPU power managementEvaluating CPU...


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

    We are seeking a highly skilled Core CPU Architect to drive innovations in core CPU, firmware/OS enablement, and performance tuning for next-generation SoCs.This role requires a hands-on technical leader with deep expertise in CPU microarchitecture, cache/memory subsystems, power-performance optimization, and Linux kernel integration.The ideal candidate will...


  • Bengaluru, Karnataka, India beBeeEngineering Full time ₹ 15,00,000 - ₹ 25,00,000

    Lead CPU Subsystem Designer and VerifierWe are seeking a skilled professional to lead the design and verification of CPU subsystems, collaborating with architects and engineers.Main Responsibilities:Design: Oversee the creation of detailed design documents and schematics for assigned subsystems.Verification: Develop comprehensive test plans and strategies...


  • Bengaluru, Karnataka, India beBeePower Full time ₹ 1,80,00,000 - ₹ 2,40,00,000

    Verification Engineer - CPU Power ManagementJob Area: Hardware Engineering GroupWe are looking for skilled Design Verification engineers to verify power management features in high-performance, low-power CPUs.Roles and Responsibilities:Verify power management features including Boot, Reset, clock gating, power gating, voltage/frequency management...