Formal Verification Engineer, Silicon, Google Cloud
Description For Formal Verification Engineer, Silicon, Google Cloud
Google Cloud is seeking a Formal Verification Engineer to join their Silicon team, focusing on the verification of complex ASIC designs. This role is part of the ML, Systems & Cloud AI (MSCA) organization, which is responsible for the hardware, software, and infrastructure powering Google's services and Cloud platform.
The position involves performing formal verification of design properties for complex ASIC designs, working closely with design and verification engineers. You'll be responsible for defining properties that capture design intent, implementing verification strategies, and improving methodologies for formal verification closure.
As part of Google's hardware engineering team, you'll contribute to the development of custom hardware solutions that power Google's massive computing infrastructure. The role combines low-level circuit design expertise with system-level understanding, impacting the technology that goes into Google's cutting-edge data centers.
The ideal candidate should have strong experience in verification methodologies, formal verification tools, and hardware design principles. Knowledge of scripting languages like Python and experience with formal verification tools such as JasperGold or VC Formal is highly valued. This position offers the opportunity to work on challenging technical problems while contributing to Google's next-generation hardware infrastructure.
Working at Google provides the chance to shape the future of hyperscale computing, with a focus on security, efficiency, and reliability. You'll be part of a team that drives innovation in areas like TPU development and global network operations, while contributing to Google Cloud's Vertex AI platform that brings Gemini models to enterprise customers.
Responsibilities For Formal Verification Engineer, Silicon, Google Cloud
- Plan the formal verification strategy and 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
Requirements For Formal Verification Engineer, Silicon, Google Cloud
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience
- 3 years of experience with verification methodologies and languages (e.g., UVM, SystemVerilog)
- Experience developing and maintaining verification testbenches, test cases, and test environments
- Experience working on main interconnects, DMA, controllers, and power management, and capturing design specifications in a temporal assertion language
Jobs Related To Google Formal Verification Engineer, Silicon, Google Cloud
