Formal Verification Engineer - Consumer Hardware

Job Description

In this role, you will perform formal verification (FV) of design properties of complex ASIC/SoC designs. You must collaborate closely with design and verification engineers to define meaningful properties that capture the design intent of a logic block and constraints on its input stimulus. You will also help define and improve design and verification methodologies that allow you to achieve formal verification closure. This is a central role that will require you to interact with multiple design teams. Google's mission is to organize the world's information and make it universally accessible and useful. Our Hardware team researches, designs, and develops new technologies and hardware to make our user's interaction with computing faster, more powerful, and seamless. Whether finding new ways to capture and sense the world around us, advancing form factors, or improving interaction methods, our Hardware team is making people's lives better through technology..


3 Lac-4 Lac P.A

Functional Area



Permanent Job, Full time

Other Benefits


Primary Responsibilties

Plan the formal verification strategy, create the properties and constraints for complex digital design blocks. Utilize formal property verification tools combined with formal verification closure techniques to verify properties. Resolve difficult to verify properties. Contribute improvements to methodologies to enhance formal verification results. Architect and implement reusable formal verification components.

Required Qualification

UG - Any UG Specialization - Any Specialization

Cerification - N/A

Similar jobs

"Test Engineer"-Mumbai

  • 2-3 years experince
  • salary 4 Lac-5 Lac
  • Mumbai

Key Skills:

  • Quality Assurance
  • Test Engineer
  • Selenium

Design Verification Engineer-Bangalore

Key Skills:

  • UVM
  • System Verilog
  • Design Verification
  • Problem Solving

Verification Engineer-Bangalore

Key Skills:

  • System Verilog
  • UVM
  • Design Verification
  • verilog
  • OVM
  • Ahb

UVM Verification Engineer-Bangalore

Key Skills:

  • UVM
  • C
  • Verification