Finding the best job has never been easier
Google CPU Formal Verification Engineer Google Cloud India, Karnataka, Bengaluru 15865275
01.04.2024
Share
Minimum qualifications:
Preferred qualifications:
- 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 (e.g., SVA, PSL).
Preferred qualifications:
- Master's degree or PhD in Electrical Engineering or Computer Science.
- Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or 360-DV).
- Proficiency with scripting languages (e.g. Python).
- Understanding of formal verification algorithms.
These jobs might be a good fit
