Google Cloud seeks a CPU Formal Verification Engineer to join their team in Tel Aviv or Haifa, Israel. Responsibilities include planning formal verification strategies, creating properties and constraints for digital design blocks, utilizing formal property verification tools, contributing to methodology improvements, resolving complex verification issues, and architecting reusable formal verification components. The ideal candidate possesses experience in main interconnects, DMA controllers, power management, and temporal assertion languages (SVA or PSL). Experience with formal verification tools like JasperGold, VC Formal, Questa Formal, or DV360 is preferred. The role involves developing custom silicon solutions for Google's direct-to-consumer products, contributing to innovation and shaping the next generation of hardware experiences.
Good To Have:- Master's or PhD in EE/CS
- Experience with formal verification tools (JasperGold, VC Formal, Questa Formal, DV360)
Must Have:- Bachelor's degree in EE/CS or equivalent
- Experience with main interconnects, DMA, controllers, power management
- Experience with temporal assertion languages (SVA/PSL)
- Plan formal verification strategy
- Utilize formal verification tools