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
Permanent Job, Full time
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.
UG - Any UG Specialization - Any Specialization
Cerification - N/A