Senior CPU Formal Verification Engineer, Silicon
About The Position
Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration. 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.
Requirements
- Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
- 8 years of experience verifying digital logic at RTL using SystemVerilog for ASICs.
- Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).
- Experience with one or more Design Verification industry formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, 360-DV, etc.).
Nice To Haves
- Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture.
- Experience with application of formal techniques on processor designs or cache coherency designs.
- Understanding of model checking, formal verification algorithms, and formal signoff.
Responsibilities
- Plan the formal verification strategy, create the properties and constraints for various units of a Central Processing Unit (CPU) design.
- Solve problems from assertion properties to data-path 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.
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Mid Level
Number of Employees
5,001-10,000 employees
