Sintegra Inc. · 14 hours ago
Formal verification Engineer
Santa Clara, CA
Full-time
Onsite
Senior LevelSintegra Inc. is seeking a highly skilled Formal Verification Engineer to define and drive formal strategies that ensure first-pass silicon success. The role involves owning the sign-off approach across complex IP and SoC designs, leveraging advanced formal techniques to tackle challenging verification problems.
SemiconductorSoftware
Responsibilities
Define and execute the formal verification strategy for complex IP and SoC designs
Architect robust, scalable FV environments and deploy reusable testbenches, methodology flows, and high-coverage SVA assertion suites
Collaborate with Architecture and Design teams to translate specifications into comprehensive formal verification test plans
Maintain and enhance FV infrastructure, including CI/regression flows and dashboarding, to deliver clear sign-off metrics
Apply advanced formal techniques (assume-guarantee, abstractions, reductions) for efficient bug-hunting and debugging
Qualification
Required
Deep, expert-level proficiency with at least one major commercial FV platform (Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal)
Strong ability to model complex designs in SystemVerilog and advanced SystemVerilog Assertions (SVA), including cut-points and environment models for proof convergence
Excellent communication skills to influence cross-functional teams and drive technical alignment
Preferred
Experience with NOCs and networking topologies, protocols such as AXI/AMBA
Understanding of cache coherency principles
Background in high-performance design verification
Company
Sintegra Inc.
Backed by 25+ years of deep silicon expertise, Sintegra is the trusted chip design partner to both Fortune 500 leaders and fast-moving startups - from Google, Meta, and Nvidia to Celestial AI, Cerebras, and Rivos.
Founded in 1999
11-50 employees
H1B Sponsorship
Sintegra Inc. 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 (18)
2024 (7)
2023 (4)
2022 (3)
2021 (2)
Funding
Current Stage
Early StageLeadership Team
Bharat G.
President & CEO
Company data provided by crunchbase