Verification Lead for 4-Core Coherent System
Overview
- Added in 30 days
- 38
- At this company, still open
Skills named in this posting
- SystemVerilog
- UVM
- Formal verification
- Emulation
- Microarchitecture
- AMBA / AXI
- Python
You will lead the verification of our 4-core coherent AI system, through a team of 3–4 verification leads, all the way to tape-out sign-off.
About Semidynamics
Semidynamics builds memory-centric AI inference silicon in Barcelona. Our chips combine RISC-V CPUs, Vector and Tensor Units and our Gazzillion Misses™ memory engine, so that large language models are never starved of data. In April 2026, SK hynix, one of the world's leading memory makers, made a strategic investment in the company.
You will not inherit a mature flow at a company of 10,000 people. You will shape it, with a team you lead and a design team one desk away.
What you will do
Own the verification strategy for a 4-Core coherent system
• Write the verification plan: what is checked where, by whom, and how we know we are done.
• Set and track sign-off criteria for tape-out: functional and code coverage, bug trends, open risks.
• Decide where simulation, emulation and FPGA each give the best return, together with the respective team leads.
Lead the team
• Lead 3-4 block verification leads (covering L2 cache, interconnect, core and other components).
• Hire and grow the team: recruit engineers, mentor the leads, set clear goals.
• Make sure the team has healthy regressions and CI, and push automation.
• Be the verification voice in architecture and microarchitecture reviews, and report status clearly to project management.
Run the project
• Plan and estimate the verification effort, and keep the schedule realistic.
• Track tape-out risks and decide on mitigations early.
• Manage EDA licences and compute resources.
Why this role is different
• You own the verification strategy. The plan you write is the one the company tapes out with.
• You build the organisation. You shape the team, hire the people you want to work with, and choose methods and tools.
• A seat at the table. You review the architecture and microarchitecture with the design leads, early enough to change them.
• A hard, current problem. Verifying a memory-centric, coherent multi-core AI system is one of the most interesting challenges in the industry today.
What you bring
Must have
• 12+ years of hands-on design verification.
• Expert SystemVerilog and UVM: you have architected reusable, multi-agent environments.
• Proven technical leadership: you have defined a verification plan, driven coverage closure and guided other engineers.
• Experience managing people: you have led verification engineers or leads, and helped hire them.
• Hands-on experience verifying cache-coherent multi-core systems or subsystems.
• Experience with a major simulator and debugger (Questa, VCS or Xcelium; Visualizer or Verdi).
• Working knowledge of SoC bus protocols: AXI, CHI.
• B.Sc. or M.Sc. in Electrical or Computer Engineering, or equivalent experience.
• Fluent English.
Nice to have
• RISC-V, CPU cluster or AI accelerator verification.
• Scripting (Python, Bash) and experience running regression and CI infrastructure (GitLab).
• Formal verification.
• Emulation (Palladium, ZeBu or Veloce) and post-silicon debug.
• Strong integration verification: connectivity, reset and clock, interrupts, boot flow.
How you work
• You always ask: "Who/what actually checks this?"
• You keep inventing new scenarios to find the next bug before it finds us.
• You like to mentor, and you enjoy seeing engineers on your team grow.
Why Semidynamics
• Work at one of Europe's most promising deep-tech semiconductor scale-ups
• Accelerated development path, with room to grow into confidential computing, memory isolation and software security
• 4 days per week in the Barcelona office (city center), 1 day working from home
• 1 week of work from anywhere in the world
• Competitive package
• A collaborative, technical, growth-oriented environment that values direct ownership and clear thinking
Apply on the employer's site
Original posting: careers.semidynamics.com
RISC-V ecosystem
Semidynamics Technology Services, S.L. in the RISC-V ecosystem
RISC-V International: Strategic
Semidynamics is a supplier of high bandwidth RISC-V IP cores. | Semidynamics is a fabless semiconductor company based in Barcelona, focused on advancing high-performance AI inference through next-generation processor technology.
- Semidynamics designs fully customisable RISC-V processor IP (64-bit cores with wide vector units) in Barcelona
- Launched Cervell, a scalable RISC-V NPU for AI workloads, positioning itself as "AI with RISC-V"
- Ships a RISC-V SDK with ONNX Runtime support so AI models run on its cores
Same employer
More roles at Semidynamics Technology Services, S.L.
Talent Acquisition Assistant (Fixed Term Contract)
Semidynamics Technology Services, S.L.
BarcelonaRISC-VNov 6, 2026SoC Top RTL Integration Engineer
Semidynamics Technology Services, S.L.
BarcelonaRISC-VRTL / HDLPhysical designOct 27, 2026SoC Top RTL Lead
Semidynamics Technology Services, S.L.
BarcelonaRISC-VRTL / HDLPhysical designOct 27, 2026Principal Business Development Manager, HPC & AI Infrastructure (Germany, Austria, Switzerland)
Semidynamics Technology Services, S.L.
RISC-VOct 8, 2026Master’s Degree Program
Semidynamics Technology Services, S.L.
BarcelonaRISC-VRTL / HDLFirmwareOct 8, 2026Student Internship Programs
Semidynamics Technology Services, S.L.
BarcelonaRISC-VRTL / HDLFirmwareOct 8, 2026