In-office locations: Austin, TX, USA; Mountain View, CA, USA.
Remote location(s): New York, USA.
Master’s degree in Electrical Engineering, Computer Science, or equivalent practical experience.
8 years of experience using formal verification technology.
Experience in capturing design specification in a temporal assertion language (e.g., SVA or PSL).
Experience with one or more DV industry formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, DV360).
15 years of experience using formal verification technology.
Experience with managing and building formal verification teams on processors.
Experience with model checking, formal verification algorithms, and formal sign-off
Experience with formal techniques on processor designs and/or cache coherency designs.
About the job
In this role, you will build and lead a team that performs formal verification of design properties of a CPU. You must partner 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/verification methodologies that allow you to achieve formal verification closure. You will mentor and work with multiple unit teams across the project and ensure that the various verification teams adopt formal methods when appropriate.
This position requires access to equipment, technical data and technology that is highly controlled under the Export Administration Regulations (EAR). Such access is restricted to U.S. persons or those otherwise authorized by the U.S. government.
Google’s mission is to organize the world’s information and make it universally accessible and useful. Our team combines the best of Google AI, Software, and Hardware to create radically helpful experiences. We research, design, and develop new technologies and hardware to make computing faster, seamless, and more powerful. We aim to make people’s lives better through technology.
Lead a formal verification team for a CPU program and enable broad use of formal techniques via mentoring and education.
Plan the formal verification strategy and create the properties constraints for various units of a CPU design.
Solve problems such as assertion properties, datapath vs model proofs, and formal sign-off of units.
Architect and implement reusable formal verification components.
Contribute improvements to methodologies to enhance formal verification results.
Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google’s EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.