RISC-V CPU Verification Engineer (UK)

Codasip; West of England; On-site; GBP 60,000 - 90,000; Full time

Job summary

Codasip in the UK invites experienced Verification Engineers to join our design centers in Cambridge or Bristol. You will verify RISC-V processors and extensions, develop test benches, and shape verification strategies across blocks and subsystems.

This role requires strong SystemVerilog, Python and C++ skills, Linux automation, and hands-on ownership of verification tasks. You will collaborate with international teams to deliver robust, cyber-resilient architectures and push cutting-edge CPU

Qualifications

• Commercial experience with functional processor verification methodologies (CPU/ASIC) including simulators, test generation, coverage collection, and gate-level simulation.
• Knowledge of verifying CPU architectures or other IP.
• Fluency with SystemVerilog, Python, C++, Rust, etc.
• Past verification ownership of a design block.
• Linux knowledge to automate tasks.
• Familiarity with Git or SVN version control.
• Knowledge of RISC-V Architecture.
• Strong analytical and teamwork skills.

Responsibilities

• Verify RISC-V processors and extensions.
• Develop verification solutions (test benches and components, stimulus generation, formal environments).
• Collaborate with engineers across the verification lifecycle to deliver components end-to-end.
• Define verification strategies for blocks and sub-systems and select the right tools.
• Review specifications and provide verification feedback.
• Run simulations, identify bugs, and perform root-cause analysis of issues.
• Define, estimate, prioritize, and track your own work.
• Craft automated verification flows.

Skills

SystemVerilog

Python

C++

Linux

RISC-V

Debugging

Job description

Codasip in the UK invites experienced Verification Engineers to join our design centers in Cambridge or Bristol. You will verify RISC-V processors and extensions, develop test benches, and shape verification strategies across blocks and subsystems.

This role requires strong SystemVerilog, Python and C++ skills, Linux automation, and hands-on ownership of verification tasks. You will collaborate with international teams to deliver robust, cyber-resilient architectures and push cutting-edge CPU