Role summary Own verification of the Load/Store Unit, data cache and bus interfaces for a CPU/GPU core — the block handling memory ordering, address generation, cache/TLB interaction, forwarding, and exception handling. Contribute to drive the LSU from RTL freeze to tapeout-quality sign-off. Responsibilities * Define and own the LSU verification plan: functional coverage, testplan, checkers, and closure criteria * Build/extend UVM testbench components for LSU (drivers, monitors, scoreboards, memory models) * Develop directed and constrained-random tests covering store-to-load forwarding, memory ordering (RISC-V WMO model), speculative loads, vector accesses, misaligned/split accesses, exceptions/faults,



and pipeline hazards * Drive formal verification for ordering/coherence properties where simulation coverage is weak * Debug RTL/testbench failures in collaboration with design; triage and root-cause * Track and close functional/code coverage; report verification status to program leads * Mentor junior verification engineers; review testbench code and testplans * Interface with architecture, design, and DV leads on other units to resolve cross-unit issues. Required qualifications * BS/MS in EE/CE/CS, 5+ years in ASIC functional verification. * Strong SystemVerilog/UVM experience; hands‑on testbench architecture * Deep understanding of memory subsystems: cache hierarchies, TLBs, memory consistency models, load/store pipelines * Knowledge of RISC‑V ISA and privileged specification is mandatory * Knowledge of AMBA AXI4, AXI5Lite and CHI is mandatory * Experience with coverage‑driven verification and regression management * Debugging complex RTL failures using waveform tools (Verdi/DVE or similar) Preferred * Formal verification experience (JasperGold or similar) applied to memory ordering/coherence * Knowledge of CPU architecture and memory execution pipeline * Prior LSU, cache, or memory‑controller verification specifically * Experience with RISC‑V, ARM, or x86 memory

📌 Senior Verification (Cataluña)
🏢 Semidynamics
📍 Cataluña