800x100 static WP 3

Principal Verification Engineer

Principal Verification Engineer
by Admin on 05-23-2022 at 3:06 pm

Website Codasip

Codasip was founded on a simple belief – that we could bring together the brilliance of microprocessor architects and software engineers and capture it in tools that made design simpler, faster, and less expensive. STUDIO was born in 2014 with the mission of democratizing processor design. We are succeeding. At the same time RISC-V was gaining traction, so it was natural for Codasip to embrace it as an Open Instruction Set Architecture (ISA).

Codasip is expanding in the UK. We are looking for Verification Engineers at all levels to build out our team and help deliver and expand our product roadmap. The role can be based in either our Bristol or Cambridge offices, or remotely within the United Kingdom.

This is an exciting opportunity to join a fast growing company with a unique position in the industry. If you are proactive, you are not afraid to voice your own opinion, and are looking for a job where you can be creative, we think you will work well with us.

YOUR ROLE:

  • Be a leading member of our verification team providing a leading role on a significant part of the CPU microarchitecture
  • Be responsible for the verification strategy, architecture and test plan for a significant part of our CPU microarchitecture and leading a small team to deliver
  • Development of test bench and test bench components and of verification metrics
  • Bug hunting and root cause analysis of complex issues and driving the team to do the same
  • Participate in and drive design and verification reviews

YOU SHOULD HAVE:

  • Over 10 years recent, relevant experience with verification methodologies as applied to CPU and/or ASIC verification including UVM and SystemVerilog and formal proof verification methods
  • Good knowledge of CPU architecture
  • Ability to write clear and concise code
  • User knowledge of Linux
  • Knowledge of versioning tools (Git, SVN)
  • Knowledge of scripting languages (Shell, Bash, Python)
  • Analytical thinking, self-sufficiency, team collaboration
  • Ability to work across teams to debug issues and find root causes

NICE-TO-HAVE:

  • Knowledge of RISC-V instruction set
  • Advanced knowledge of computer systems and architecture
  • Knowledge of C/C++

EDUCATION:

  • Good degree (BSc, MSc, BEng, MEng or equivalents) in a numerate discipline
Share this post via: