E

Efficient Computer

Energy-efficient processors for edge IoT computing

Lead Digital Verification Engineer

Hardware Validation & TestingConfirmed live in the last 24 hours
Full-timeIn-person

About the Job

Requirements

  • A bachelor's, master's, or PhD degree in Electrical Engineering, Computer Engineering, or a related field.
  • At least 10 years of progressive experience in ASIC/SoC design verification, including at least 3 years in a lead role owning verification strategy, sign-off, and team execution.
  • Deep expertise in UVM-based testbench architecture and constrained-random verification methodology, including architectural decision-making and optimization.
  • Advanced proficiency in SystemVerilog for verification, including classes, constraints, functional coverage, assertions, interfaces, and packages.
  • A demonstrated track record of driving functional and code coverage to tapeout sign-off on complex, multi-million-gate SoC/ASIC designs.
  • Ability to debug complex simulation failures across multiple design blocks, protocols, and abstraction levels.
  • Strong understanding of modern SoC building blocks, including ARM and RISC-V processors, AMBA AXI/ACE/CHI interconnects, memory controllers, DMA engines, interrupt controllers, and standard peripherals.
  • Proficiency in Python, Perl, or Tcl for test automation, log analysis, coverage post-processing, and regression flow development.

Responsibilities

  • Define the end-to-end verification strategy across block, subsystem, and full-chip levels, aligned with tapeout milestones.
  • Author and review verification plans mapping specifications to features, stimulus strategies, coverage goals, and sign-off criteria.
  • Architect scalable UVM-based testbench environments, including agents, scoreboards, reference models, and coverage monitors.
  • Drive constrained-random stimulus development targeting protocol interactions, concurrency, error injection, and corner cases.
  • Define and close functional coverage models through hole analysis, targeted tests, seed optimization, and regression tuning.
  • Deploy SystemVerilog Assertions for protocol compliance, interface checks, and design invariants across simulation runs.
  • Lead full-chip verification, including boot sequences, interrupt handling, DMA flows, power-on reset, and multi-block interactions.
  • Ensure CDC, RDC, and multi-power-domain verification in coordination with specialist tools and teams.
  • Debug complex simulation failures involving multi-block interactions, protocol violations, race conditions, and timing-dependent corner cases.
  • Own the bug lifecycle, including triage, prioritization, tracking, fix verification, and cross-functional resolution with RTL designers and architects.
  • Manage the regression framework by defining suites, maintaining stability, optimizing throughput, and integrating with CI/CD pipelines.
  • Coordinate simulation-to-emulation handoff to ensure verification collateral transitions effectively to emulation environments.
  • Collaborate with the Compiler Team, RTL design, DFT, physical design, and post-silicon validation teams.
  • Lead, mentor, and grow the verification engineering team while maintaining a high quality bar through rigorous reviews.
  • Represent verification readiness in tapeout sign-off reviews and program-level decisions.
  • Support gate-level simulations as part of design sign-off.
  • Assist in building a verification dashboard to show verification progress and identify regressions.

About the Company

Efficient Computer

Energy-efficient processors for edge IoT computing

Efficient Computer makes energy-efficient programmable processors for IoT edge devices and sells a compatible software toolchain that fits existing embedded languages and AI/ML workflows. These processors run local computations at the edge, reducing the need to send data over wireless links, which saves power and enables real-time processing and data compression. Its strength comes from combining hardware with a developer-friendly ecosystem rather than relying on general-purpose chips, helping deployments last longer in places without wired power. Its goal is to enable widespread, cost-effective edge deployments by dramatically lowering energy use and total cost of ownership for IoT networks.

Company size
51-200
Company stage
Series B
Total funding
$173M
Headquarters
Pittsburgh, PA
Founded
2022

Recently Posted Jobs

Explore more opportunities at Efficient Computer

See more jobs