Efficient Computer develops ultra energy-efficient general-purpose processors for AI and other compute-intensive workloads.
<div class="content-intro"><p>Efficient is developing the world’s most energy-efficient general-purpose computer processor. Efficient’s patented technology uses 100x less energy than state of the art commercially available ultra-low-power processors and is programmable using standard high-level programming languages and AI/ML frameworks. This level of efficiency makes perpetual, pervasive intelligence possible: run AI/ML continuously on a AA battery for 5-10 years. Our platform’s unprecedented level of efficiency enables IoT devices to intelligently capture and curate first-party data to drive the next major computing revolution</p></div><p>We are looking for an experienced <strong>Design Verification Lead</strong> to drive the functional verification of complex SoC/IP designs from specification through tapeout in a newly formed hardware engineering organization. You will own the verification strategy, define methodology standards, build and guide a team of verification engineers, and serve as the final authority on verification quality and sign-off readiness. This role demands a strong blend of technical depth in modern verification methodologies (UVM, embedded C and compiler generated trace driven testing) and the leadership ability to execute across a multi-block chip program on schedul.e The DV Lead will help shape our internal processes for building robust and verified designs, including the company’s second product line, which will scale computing performance and capability, while improving energy efficiency.</p> <p>This is a unique opportunity to have an influence on our products and processes as we move from the initial stages of product development to market release and scaled volume production. Join our team and help us shape the future of computing at the edge and beyond!</p> <p><strong>Key Responsibilities </strong></p> <ul> <li><strong>Define the end-to-end verification strategy</strong> across block, subsystem, and full-chip levels aligned with tapeout milestones</li> <li><strong>Author and review verification plans</strong> mapping specifications to features, stimulus strategies(traditional stimulus generation, compiler driven), coverage goals, and sign-off criteria</li> <li><strong>Architect scalable UVM-based testbench environments</strong> including agents, scoreboards, reference models, and coverage monitors</li> <li><strong>Drive constrained-random stimulus development</strong> targeting protocol interactions, concurrency, error injection, and corner cases</li> <li><strong>Define and close functional coverage models</strong> through systematic hole analysis, targeted tests, seed optimization, and regression tuning</li> <li><strong>Deploy SystemVerilog Assertions</strong> for protocol compliance, interface checks, and design invariants across all simulation runs</li> <li><strong>Lead full-chip verification</strong> including boot sequences, interrupt handling, DMA flows, power-on reset, and multi-block interactions</li> <li><strong>Ensure CDC, RDC, and multi-power-domain verification</strong> in coordination with specialist tools and teams</li> <li><strong>Debug complex simulation failures</strong> spanning multi-block interactions, protocol violations, race conditions, and timing-dependent corner cases</li> <li><strong>Own the bug lifecycle</strong> — triage, prioritization, tracking, fix verification, and cross-functional resolution with RTL designers and architects</li> <li><strong>Manage the regression framework</strong> — defining suites, maintaining stability, optimizing throughput, and integrating with CI/CD pipelines</li> <li><strong>Coordinate simulation-to-emulation handoff</strong> ensuring verification collateral transitions effectively to emulation environments</li> <li><strong>Collaborate cross-functionally</strong> with Compiler Team, RTL design, DFT, physical design, and post-silicon validation teams</li> <li><strong>Lead, mentor, and grow</strong> the verification engineering team while maintaining a high quality bar through rigorous reviews</li> <li><strong>Represent verification readiness</strong> in tapeout sign-off reviews and program-level decisions</li> </ul> <ul> <li>Support running gate-level simulations as part of design signoff.</li> <li>Assist in building a verification dashboard to quickly understand where a design is in the verification process and to identify regressions.</li> </ul> <p><strong>Required Qualifications & Experience </strong></p> <ul> <li><strong>Education:</strong> Bachelor's or Master's/PhD degree in Electrical Engineering, Computer Engineering, or a related field.</li> <li><strong>Experience:</strong> 10+ years of progressive experience in ASIC/SoC design verification, with at least 3 years in a lead role owning verification strategy, sign-off, and team execution.</li> <li><strong>UVM Mastery:</strong> Deep expertise in UVM-based testbench architecture and constrained-random verification methodology — not just usage, but architectural decision-making and optimization.</li> <li><strong>SystemVerilog:</strong> Advanced proficiency in SystemVerilog for verification including classes, constraints, functional coverage, assertions (SVA), interfaces, and packages.</li> <li><strong>Coverage Closure:</strong> Demonstrated track record of driving functional and code coverage to tapeout sign-off on complex, multi-million-gate SoC/ASIC designs.</li> <li><strong>Debug Skills:</strong> Proven ability to debug deeply complex simulation failures spanning multiple design blocks, protocols, and abstraction levels.</li> <li><strong>SoC Architecture:</strong> Strong understanding of modern SoC building blocks — processors (ARM, RISC-V), interconnects (AMBA AXI/ACE/CHI), memory controllers, DMA engines, interrupt controllers, and standard peripherals.</li> <li><strong>Scripting & Automation:</strong> Proficiency in Python, Perl, or Tcl for test automation, log analysis, coverage post-processing, and regression flow dev