Google · 5 hours ago
ASIC Formal Verification Engineer, TPU Compute
Sunnyvale, CA, USA
Full-time
Onsite
Senior Level, Lead/Staff
$156K/yr - $229K/yr
8+ years expGoogle is a leading technology company, and they are seeking an ASIC Formal Verification Engineer to shape the future of AI/ML hardware acceleration. In this role, you will drive the development of TPU technology and contribute formal verification expertise to verify complex digital designs.
AppsArtificial Intelligence (AI)Cloud StorageSearch EngineSEO
Responsibilities
Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques
Architect, develop and deploy reusable formal testbenches, methodology flows, and high-coverage SystemVerilog Assertions (SVA) suites across multiple designs and projects
Collaborate with Architecture and Design teams to translate complex system and IP specifications into comprehensive formal verification test plans
Maintain and enhance continuous integration, regression flows, and dashboarding to provide formal verification status and sign-off metrics
Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows
Qualification
Required
Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience
8 years of experience in silicon development or ASIC/SoC design
Experience with SystemVerilog Assertions (SVA), and formal verification methods
Preferred
Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science, with an emphasis on computer architecture
10 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based ICs and chips
Experience with one or more formal verification platforms (e.g., Cadence Jasper, Synopsys VC Formal, or Siemens Questa Formal)
Experience in formal verification applications such as data-path verification, sequential equivalence checking, and connectivity checking
Experience in formally proving correctness of arithmetic units such as floating point adders and multipliers
Experience working with schedulers, NOCs and networking topologies, protocols (AXI/AMBA)
Benefits
Bonus
Equity
Benefits
Company
Google specializes in internet-related services and products, including search, advertising, and software. It is a sub-organization of Alphabet.
10001+ employees
H1B Sponsorship
Google has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (8763)
2024 (8872)
2023 (9682)
2022 (11626)
2021 (9109)
2020 (9785)
Funding
Current Stage
Public CompanyTotal Funding
$26.1MKey Investors
Andy Bechtolsheim
2004-08-19IPO
1999-06-07Series Unknown· $25M
1998-11-01Angel· $1M
Leadership Team
Sundar Pichai
CEO
Thomas Kurian
CEO - Google Cloud
Recent News
Small Business Trends
2026-01-24
2026-01-24
Search Engine Journal
2026-01-24
Company data provided by crunchbase