Your Mission
Own the end-to-end verification of critical ASIC subsystems—from compute pipelines and high-speed I/O to interconnects and multi-die coherency. You'll architect UVM environments and golden reference models, turn specs into assertions and checkers, drive coverage to closure, and tie in emulation/FPGA and SW-in-the-loop to catch bugs before tape-out. This is where one missed corner case can cost millions—finding it early keeps our AI silicon on schedule and on target.
Responsibilities
- Own block-to-subsystem verification: author verification plans from specs, define stimulus/coverage strategy, and deliver sign-off with data (functional/code/assertion coverage).
- Build scalable UVM environments: agents, monitors, scoreboards, sequences, reference models (C++/Python/DPI), protocol checkers, and reusable components.
- Exercise real workloads: co-sim with firmware/drivers, run emulation/FPGA prototypes, and correlate performance/behavior with architectural models.
- Apply assertions & formal: write SVA, run formal where appropriate (protocol/liveness/safety), and integrate results into overall coverage.
- Close quality gates: lint/CDC/RDC verification collaboration, gate-level/reset/power-up scenarios, low‑power (UPF) intent checks.
- Harden regressions: own CI pipelines, randomized/constrained tests, triage failures, root‑cause with RTL/design, and track fixes to closure.
- Interface & document: keep specs, test plans, coverage dashboards, and bug reports clear for Architects, RTL, Firmware/Drivers, and DFT/PD teams.
You'll Collaborate With Silicon architects (clarifying intent and performance targets), RTL designers (debug and ECOs), firmware and Linux driver teams (HW/SW co-verification), performance architects (workload traces and counters), and EDA/CAD (flows, regressions, metrics) to ensure first-pass silicon success.
Minimum Qualifications
- 7+ years in ASIC/SoC verification with SystemVerilog/UVM (ownership from test plan to sign-off).
- Strong command of constrained-random stimulus, scoreboarding, coverage-driven verification, and SVA.
- Hands‑on with major simulators (e.g., VCS/Questa/Xcelium) and regression/CI tooling.
- Familiarity with standard protocols (AMBA, AXI, APB, AHB) and industrial VIPs
- Experience verifying complex IP/subsystems (at least one of: multi-core compute, NoC/coherency, high‑speed I/O like PCIe, Ethernet 100/400G, HBM/DDR, UCIe).
- Proficient in scripting for automation (Python/TCL/Make) and building reusable verification components.
- Solid understanding of SoC fundamentals: resets, clocking, CDC/RDC, back‑pressure/flow control, performance counters.
Preferred (Nice-to-Haves)
- Emulation/FPGA prototyping (Palladium/Zebu/Veloce; Xilinx/Intel) and SW‑in‑the‑loop setups.
- Formal verification experience (JasperGold/VC Formal) and assertion methodology leadership.
- DFT/DFD awareness and post-silicon bring‑up experience.
- Exposure to AI accelerator domains (systolic/dataflow, memory hierarchies, tiling) and traffic modeling.
- Experience building coverage dashboards and integrating verification metrics into CI/CD.
- Experience with C/C++/DPI for RTL Co-Simulation.