CPU Formal Verification Leadership Position
3 days ago
**Formal Verification Lead**: We are seeking an experienced Formal Verification Engineer to lead the development of our CPU core and pipeline stages.
Key Responsibilities:- Develop formal verification methodologies 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
- 8+ years of formal verification experience with CPUs or processors
- Strong 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
- Lead a team of engineers in developing innovative verification solutions
- Collaborate with cross-functional teams to ensure seamless integration of formal verification into projects
- Opportunity to work on cutting-edge CPU design and verification technologies
- Chance to develop your leadership skills and mentor junior engineers
-
CPU Formal Verification Specialist
4 days ago
Bengaluru, Karnataka, India beBeeHardwareVerification Full time US$ 1,50,000 - US$ 2,50,000Job Title: CPU Formal Verification SpecialistWe are seeking a seasoned CPU Formal Verification Specialist to join our team. As a key member of our design team, you will be responsible for developing and implementing formal verification strategies for Qualcomm CPU components.The ideal candidate will have a strong background in formal methods, model checking,...
-
Formal CPU Expert
2 days ago
Bengaluru, Karnataka, India beBeeVerification Full time ₹ 2,00,00,000 - ₹ 2,50,00,000Senior Formal Verification Engineer (CPU)">">With 8+ years of experience, you will be responsible for owning property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals.">">Main Responsibilities:">">Lead formal planning and methodology for control logic, pipelines, and memory subsystems">Define safety...
-
Formal Verification
5 days ago
Bengaluru, Karnataka, India L&T Technology Services Full timeAs a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...
-
Formal Verification
3 days ago
Bengaluru, Karnataka, India L&T Technology Services Full timeAs a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)- Experience with at least one formal verification tool (e.g.,...
-
Formal Verification
2 weeks ago
Bengaluru, Karnataka, India L&T Technology Services Full timeAs a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...
-
Formal Verification
1 day ago
Bengaluru, Karnataka, India L&T Technology Services Full timeAs a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.) Experience with at least one formal verification tool (e.g.,...
-
Formal Verification Specialist
1 day ago
Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878Job Summary:We are seeking a skilled Formal Verification Engineer to join our team.The ideal candidate will have strong knowledge of formal verification and complex design principles, with experience in executing formal verification for complex blocks.The successful applicant will be responsible for understanding the design to be verified, planning and...
-
Formal Verification Engineer
5 days ago
Bengaluru, Karnataka, India L&T Technology Services Full timeL&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India.Job Description is mentioned in details::As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...
-
Lead Formal Verification Specialist
1 day ago
Bengaluru, Karnataka, India beBeeVerification Full time ₹ 1,04,000 - ₹ 1,30,878Job Title: Formal Verification EngineerThe ideal candidate is a person with extensive experience in applying formal verification methods to complex IPs for CPU, GPU, and high-speed protocols.Responsibilities:Complete ownership and execution of formal verification of cache controllers, computational IPs, floating-point units, etc.In this role, the individual...
-
Formal verification Engineer
6 days ago
Bengaluru, Karnataka, India L&T Technology Services Full timeDear LinkedIn reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey SoC development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking...
