Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Google CPU Formal Verification Engineer Silicon Google Cloud 
India, Karnataka, Bengaluru 
585776322

08.05.2024
Minimum qualifications:
  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 2 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, 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).
  • Experience with scripting languages (e.g., Python).
  • Knowledge of formal verification algorithms.