Sequans Communications logo

Senior Design Verification Engineer

Sequans Communications • Ramat Gan, Tel-Aviv District, Israel

onsitefull-time
Posted Sep 30, 2026Apply by Oct 30, 2026

**Role & seniority: ** Design Verification Engineer (senior; 15+ years ASIC verification)

**Stack/tools: **

  • UVM / SystemVerilog (UVM methodology, constrained-random verification, ABV)

  • EDA simulators: Questa, Xcelium

  • Verification techniques: SVA (assertion-based), CDV (functional-driven verification), formal property checking

  • Reference models: C++ (bit-accurate golden models)

  • Automation/CI: Python, Git, GitLab CI, scripting; build/automation (SCons, Makefile); regression management & data parsing

  • Top 3 responsibilities:

    • Architect, build, optimize, and maintain scalable reusable UVM verification environments

    • Integrate C++ reference models and implement verification flows (UVM + ABV/CDV + formal)

    • Create automation/tools and manage regressions/CI to drive verification closure and sign-off metrics

  • Must-have skills:

    • Deep hands-on ASIC/SOC verification using UVM + SystemVerilog

    • Proficiency in constrained-random and assertion-based verification (SVA/ABV)

    • Experience with Questa/Xcelium and unit-to-subsystem/full-chip verification

    • Strong Python + Git + GitLab CI for regression and flow automation; scripting for data parsing

  • Nice-to-haves:

    • C/C++ knowledge beyond reference models

    • System-level understanding; SOC communications experience as an advantage

  • Location & work type: Not specified in the provided text

Full Description

The Design Verification Engineer is responsible for architecting, deploying, and maintaining advanced pre-silicon test benches, reference models, and automated verification flows to achieve sign-off quality using UVM methodology.

In this role, you will build the UVM verification infrastructure and work closely with chip architects, RTL/VLSI design, Design, and Platform Integration (PI) teams within an advanced development environment, leveraging state-of-the-art development and verification tools to identify, debug, and support the resolution of complex hardware anomalies.

RESPONSIBILITIES As a Design Verification Engineer, you will be responsible for different HW blocks at module-level and sub-system level. You will contribute across a range of technical areas, playing a key role in ensuring high-quality, scalable, and efficient verification solutions.

UVM environment architecture: Design build, Optimize and maintain scalable and reusable UVM environment.

Reference model integration: Integrate and support high level bit accurate reference models in C++ to serve as golden reference in UVM environment.

Modern verification techniques: Deploy advanced methodologies including Assertion-based verification (SVA), Functional driven verification (CDV), and formal property checking to maximize efficiency.

Automation & Tool creation: Develop internal tools, advanced scripting infrastructure and continuous integration (CI/CD), regressions flows (Gitlab CI). Driving the team’s verification efforts.

Methodology & Sign-off: Review verification plans and establish infrastructure metrics (functional coverage, code coverage and formal proofs) to drive verification closure.

REQUIRED EXPERIENCE & KNOWLEDGE Engineering degree with 15+ years of hands-on experience in ASIC verification using UVM System Verilog Experience on methodologies such as UVM, constrained-Random Verification and Assertion Based Verification (ABV).

Experience in using modern EDA Tools Suites: Front-end IC simulation and verification tools (Questa, Xcelium). Experience in unit-level as well as subsystem/full-chip verification. Experience working on complex ASIC or SOC designs Experience in Infrastructure Automation with strong proficiency in Python, SCons, MakeFile, git for automated flow generation, regression management and data parsing. Good knowledge of C/C++ is a plus System-Level understanding Experience with SOCs in the communications field – advantage

ASIC VerificationUVMSystemVerilogConstrained-Random VerificationAssertion-Based VerificationSystemVerilog AssertionsFormal Property CheckingFunctional CoverageCode CoverageC++PythonSConsMakeGitGitLab CIQuestamulti-location

Cookies & analytics consent

We serve candidates globally, so we only activate Google Tag Manager and other analytics after you opt in. This keeps us aligned with GDPR/UK DPA, ePrivacy, LGPD, and similar rules. Essential features still run without analytics cookies.

Read how we use data in our Privacy Policy and Terms of Service.