Sr. Verification Engineer (ASIC)

IntelliPro Group Inc.•Austin, TX
•$100 - $110•Remote

About The Position

As a Senior Verification Engineer on the ASIC & Networking team, you will support TeraWave's first in-house silicon program, which includes a high-throughput modem and a DSP-intensive digital beamformer with a first tapeout targeted for 2027. You will help define the verification strategy, methodology, and infrastructure. The work spans IP, subsystem, and full SoC verification, covering areas such as CPU subsystems, performance-critical interconnects, security, high-speed peripherals, modem datapath and PHY layers, DSP and beamforming compute, and mixed-signal interfaces. You will own a subset of this scope aligned to your background. The team utilizes constrained-random simulation, formal methods, and processor-driven SoC testing as primary tools, and is developing an AI-enabled verification platform that incorporates LLM-assisted stimulus and testbench generation, automated regression triage and failure clustering, and data-driven coverage closure. Engineers who build these capabilities will own them and grow with the program as it scales. Experience in wireless communications, modem, baseband, and DSP verification is beneficial but not required. Architects and modeling engineers will support your ramp-up, with verification judgment and system-level thinking being prioritized over domain background.

Requirements

  • Bachelor's degree in Electrical Engineering, Computer Engineering, or related field, or 7+ years equivalent experience.
  • Minimum five years of professional experience in ASIC or SoC functional verification.
  • Hands-on expertise in SystemVerilog, UVM or formal testbench development and maintenance.
  • Experience with metric-driven verification for planning, assertions, and functional coverage closure.
  • Experience verifying complex digital control and datapath logic, including RTL and system-level debug.

Nice To Haves

  • Background in space-based communications, wireless communications, or modem, baseband, or DSP hardware.
  • Experience verifying LDPC, FEC, framing, or beamforming logic using bit-accurate reference models and fixed-point analysis.
  • Formal verification experience on production silicon, including connectivity, register maps, arbitration, CDC, or security properties.
  • Experience with interconnect or NoC verification covering performance, bandwidth, QoS, and deadlock analysis.
  • Experience verifying fault tolerance and reliability features such as ECC, redundancy schemes, or fault injection.
  • Experience developing C-based or portable stimulus for SoC, CPU boot, and firmware-driven test scenarios.
  • Experience applying AI, ML, or LLM tooling to stimulus generation, regression triage, or coverage analysis.

Responsibilities

  • Own verification planning and execution for complex blocks and subsystems, from test plan through sign-off.
  • Translate design specifications into verification strategies, measurable coverage goals, and early identification of high-risk scenarios.
  • Select verification methods for each problem, including constrained-random simulation, formal analysis, and directed testing.
  • Develop verification environments, reference models, scoreboards, protocol monitors, coverage components, and assertions.
  • Drive functional coverage closure, regression health, and sign-off readiness across simulation and formal results.
  • Build verification infrastructure, regression and CI systems, and reuse strategy across IP, subsystem, and SoC levels.
  • Apply and build AI-assisted verification capabilities for stimulus generation, regression triage, and coverage analytics.
  • Review testbench architecture and debug methodology, and mentor junior engineers in verification methodology.

Benefits

  • Comprehensive benefits package
© 2026 Teal Labs, Inc
Privacy PolicyTerms of Service