Formal Verification Engineer, Silicon

2 Days ago • 3 Years + • Research & Development

Job Summary

Job Description

This role involves performing formal verification of complex ASIC designs at Google Cloud. Responsibilities include planning formal verification strategies, creating properties and constraints for design blocks, utilizing formal verification tools, resolving complex verification issues, and improving verification methodologies. Close collaboration with design and verification engineers is crucial to defining design intent and constraints. The work contributes to enhancing formal verification results and implementing reusable components. The position requires expertise in verification methodologies (UVM, SystemVerilog), temporal assertion languages (SVA, PSL), and preferably experience with formal verification tools (JasperGold, VC Formal, etc.).
Must have:
  • Bachelor's degree in EE/CS or equivalent
  • 3+ years verification experience (UVM, SystemVerilog)
  • Experience with testbenches, test cases, and environments
  • Experience with main interconnects, DMA, controllers, power management
  • Temporal assertion language (SVA, PSL) experience
Good to have:
  • Master's/PhD in EE/CS
  • Formal verification tool experience (JasperGold, VC Formal, etc.)
  • Understanding of formal verification algorithms
  • Proficiency in Python scripting

Job Details

Minimum 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.
  • Knowledge of and experience working with one or more formal verification tools (E.G., JasperGold, VC Formal, Questa Formal, or 360-DV).
  • Understanding of formal verification algorithms.
  • Proficiency with scripting languages (e.g. Python).

About the job

Our computational challenges are so big, complex and unique we can't just purchase off-the-shelf hardware, we've got to make it ourselves. Your team designs and builds the hardware, software and networking technologies that power all of Google's services. As a Hardware Engineer, you design and build the systems that are the heart of the world's largest and most powerful computing infrastructure. You develop from the lowest levels of circuit design to large system design and see those systems all the way through to high volume manufacturing. Your work has the potential to shape the machinery that goes into our cutting-edge data centers affecting millions of Google users.

In this role, you'll perform formal verification of design properties of complex ASIC designs. 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'll also help define and improve design and verification methodologies that allow you to achieve formal verification closure.

The ML, Systems & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Cloud’s Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities

  • Plan the formal verification strategy and create the properties and constraints for complex digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Resolve difficult to verify properties. Contribute improvements to methodologies to enhance formal verification results.
  • Architect and implement reusable formal verification components.

Similar Jobs

CharacterAI - Research Engineer, Post-Training

CharacterAI

New York, New York, United States (On-Site)
1 Month ago
Rebellion - Senior AI Gameplay Programmer

Rebellion

Oxford, England, United Kingdom (Hybrid)
1 Month ago
The Walt Disney Company - Software Engineer, Tools Internals (Core)

The Walt Disney Company

California, United States (On-Site)
1 Month ago
YouGov - Data Production Expert

YouGov

Vienna, Vienna, Austria (Hybrid)
9 Hours ago
Microsoft - Member of Technical Staff, AI - Reinforcement Learning Systems

Microsoft

Mountain View, California, United States (Hybrid)
2 Weeks ago
Meta - Software Engineer (Technical Leadership) - Machine Learning

Meta

New York, New York, United States (On-Site)
5 Months ago
ByteDance - Tech Lead Manager - Code AI

ByteDance

San Jose, California, United States (On-Site)
3 Months ago
Google - Software Engineering Manager II, Pixel Software Test

Google

New Taipei, New Taipei City, Taiwan (On-Site)
2 Weeks ago
NVIDIA - Senior Photonic Device Designer

NVIDIA

Santa Clara, California, United States (On-Site)
1 Week ago
Microsoft - Research Intern - Database Internals (PostgreSQL)

Microsoft

Redmond, Washington, United States (On-Site)
1 Week ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Loyalty Juggernaut - Product Engineer (Java)

Loyalty Juggernaut

Hyderabad, Telangana, India (On-Site)
8 Months ago
Google - Software Engineer, Systems Research, PhD, Early Career

Google

Sunnyvale, California, United States (On-Site)
2 Weeks ago
Interactive Brokers - Software Developer - C++

Interactive Brokers

Greenwich, Connecticut, United States (On-Site)
6 Months ago
High Moon Studios - Senior Gameplay Engineer

High Moon Studios

Carlsbad, California, United States (Hybrid)
20 Hours ago
NVIDIA - Senior Firmware PHY Developer

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
3 Months ago
Auros Global - Strategy Developer

Auros Global

(Remote)
8 Hours ago
ByteDance - Research Scientist Graduate (Foundation Model - Generative AI) - 2025 Start (PhD)

ByteDance

Seattle, Washington, United States (On-Site)
4 Months ago
GoTo Group - Lead Software Engineer - Cartography

GoTo Group

Jakarta, Jakarta, Indonesia (On-Site)
6 Months ago
Applike Group - Product Lead

Applike Group

Hamburg, Hamburg, Germany (Hybrid)
1 Year ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

SmartBear - Customer Success Engineer - Test Hub

SmartBear

Ahmedabad, Gujarat, India (On-Site)
1 Day ago
Paytm - Key Account Manager / Senior Key Account Manager

Paytm

Chennai, Tamil Nadu, India (On-Site)
5 Months ago
Eccentric - EA to CEO

Eccentric

Mumbai, Maharashtra, India (On-Site)
22 Hours ago
adglobal 360 - Sr AEM Developer

adglobal 360

Noida, Uttar Pradesh, India (On-Site)
9 Hours ago
SparkCognition - UI Designer

SparkCognition

Bengaluru, Karnataka, India (On-Site)
7 Months ago
Springer Group - Process & Quality Analyst

Springer Group

Pune, Maharashtra, India (Hybrid)
1 Day ago
PwC - IN-Senior Associate_ MDMS Expert _Utility Transformation  _Advisory_Gurgaon

PwC

Gurugram, Haryana, India (On-Site)
6 Months ago
PwC - Senior Associate - Hyderabad-Salarpuria - Technology Consulting

PwC

Hyderabad, Telangana, India (On-Site)
7 Months ago
Paytm - Key Accounts Manager - Cochin

Paytm

Kerala, India (On-Site)
3 Months ago
quience - Staff Engineer

quience

Bengaluru, Karnataka, India (On-Site)
1 Day ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

NVIDIA - Senior Software Engineer

NVIDIA

Taipei City, Taiwan (On-Site)
1 Month ago
NVIDIA - Signal Processing Communication Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
Google - Senior Software Engineer, Machine Learning, Payments

Google

Bengaluru, Karnataka, India (On-Site)
2 Weeks ago
NVIDIA - System Products Memory Solutions Engineer

NVIDIA

Santa Clara, California, United States (On-Site)
3 Weeks ago
Google - Software Engineer III, Research

Google

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Week ago
NVIDIA - Senior Tool and Methodology Development Software Engineer

NVIDIA

Hsinchu, Hsinchu City, Taiwan (On-Site)
1 Month ago
NVIDIA - Senior System Software Engineer, GPU

NVIDIA

Taipei City, Taiwan (On-Site)
1 Week ago
NVIDIA - HSIO Functional and Power Management Engineer

NVIDIA

Santa Clara, California, United States (Hybrid)
3 Weeks ago
ByteDance - Research Scientist, Infrastructure System Lab

ByteDance

San Jose, California, United States (On-Site)
1 Month ago
NVIDIA - HPC Operations Manager – Hardware Engineering

NVIDIA

Santa Clara, California, United States (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

About The Company

A problem isn't truly solved until it's solved for all. Googlers build products that help create opportunities for everyone, whether down the street or across the globe. Bring your insight, imagination and a healthy disregard for the impossible. Bring everything that makes you unique. Together, we can build for everyone.

Mountain View, California, United States (On-Site)

Mountain View, California, United States (On-Site)

Bengaluru, Karnataka, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

Bengaluru, Karnataka, India (On-Site)

View All Jobs

Get notified when new jobs are added by Google

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug