Job Title
Coherency Verification Engineer
Role Summary
Work on the Verification Team to ensure correctness and functionality of complex RTL designs implementing coherent memory systems. The role focuses on verifying coherency protocols and cache behavior using SystemVerilog/UVM, simulation and formal techniques.
Position is based in Barcelona, Spain. Visa sponsorship is available if required.
Experience Level
Senior β the posting specifies industrial verification experience of 8+ years.
Responsibilities
Primary responsibilities include verifying coherent systems at block, subsystem and top levels and driving verification closure.
- Develop and maintain SystemVerilog/UVM testbenches and verification environments.
- Plan and execute regression suites; automate flows with scripts and regression tools.
- Verify coherency protocols (including CHI) and cache structures/parameters.
- Use simulators and formal tools for dynamic and formal verification.
- Debug RTL issues, perform root-cause analysis, and report defects clearly.
- Collaborate with architects, RTL designers and cross-functional teams to resolve issues.
- Maintain version control, verification documentation and test plans.
Requirements
Must-have skills and experience.
- 8+ years industrial experience in hardware verification (block/sub-system/top-level).
- Proven proficiency in SystemVerilog and UVM.
- Experience with simulation tools and formal verification methods.
- Knowledge of scripting languages and automation (Python, Perl, Bash, TCL) and regression tooling.
- Familiarity with revision control workflows and tools (git, svn).
- Practical experience verifying coherent systems and understanding cache structures and parameters.
- Knowledge of the CHI protocol.
- Strong problem-solving, attention to detail, and effective communication and teamwork skills; English proficiency at C1 level.
Education Requirements
The posting specifies a Masters degree or PhD. No specific field(s) of study were listed and no explicit "equivalent experience" substitution was provided.
About the Company
Company: Semidynamics
Headquarters: Barcelona, Spain
Semidynamics is a company specializing in infrastructure verification and automation solutions. They focus on optimizing resources and enhancing continuous integration processes in design verification. The team collaborates to maintain regression test infrastructure and develop efficient workflows.

Date Posted: 2026-05-05