Our client is a tech company specializing in the design and development of cutting-edge, customized

server hardware solutions optimized for artificial intelligence and machine learning applications.



Their mission is to empower businesses and researchers to accelerate their AI initiatives by

providing them with high-performance, scalable, and energy-efficient hardware infrastructure.

As a rapidly growing company at the forefront of AI hardware innovation, we are constantly seeking

talented and motivated individuals to join our team. We offer a dynamic and challenging work

environment, with opportunities to make a significant impact on the future of AI technology.

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



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.



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.



Minimum requirements:



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.



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.




PLEASE Complete the attached questionnaire

https://forms.gle/7aPBJJymrayR3nUT9



Please ignore the salary levels mentioned here: the client is flexible depending on your profile.