CPU Formal Design Verification Engineer, Devices and Services

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.

Note: Google’s hybrid workplace includes remote and in-office roles. By applying to this position you will have an opportunity to share your preferred working location from the following:

In-office locations: Austin, TX, USA; Mountain View, CA, USA.
Remote location(s): New York, USA.

Minimum qualifications:

• Master's degree in Electrical Engineering, Computer Science, or equivalent practical experience.

• Experience 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, 360-DV, etc.).

Preferred qualifications:

• 8 years of experience using formal verification technology.
• Experience with application of formal techniques on processor designs or cache coherency designs.
• Understanding of model checking, formal verification algorithms and formal signoff.

About the job

In this role, you will build and lead a team that performs formal verification of design properties of a CPU. You will 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. You will also mentor and work with multiple unit teams across the project and ensure that the various verification teams adopt formal methods when appropriate.

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.

Responsibilities

• Plan the formal verification strategy, create the properties and constraints for various units of a CPU design.
• Solve problems from assertion properties to datapath vs model proofs to formal signoff of units.
• Architect and implement reusable formal verification components.
• Contribute improvements to methodologies to enhance formal verification results.
• Enable broad use of formal techniques by the full CPU team via mentoring and education.

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.