Rust Jobs for Rustaceans

Key Responsibilities:

• Verify RISC-V processors and extensions
• Develop verification solutions (e.g. test benches and test bench components, stimulus generation, formal environments)
• Collaborate with other engineers in a team responsible for the delivery of all verification activities related to a component or subsystem from start to finish
• Define, estimate, prioritise and track your own work, and help others do the same
• Define verification strategies for block and sub-systems, identifying and utilising the right tools
• Review technical specifications, providing feedback from a verification perspective
• Run simulations, hunt bugs and complete root cause analysis of complex issues
• Track and report verification metrics
• Craft automated verification flows

What we need

• Significant commercial experience with a variety of functional processor verification methodologies as applied to CPU or other ASIC verification (simulators, test generation, coverage collection, gate level simulation etc…)
• Knowledge of verifying CPU architectures or other complex IP (e.g. GPUs, NNAs)
• Fluency and the ability to write clear and concise code in languages like SystemVerilog, Python, C++, Rust, or Go
• Past verification ownership of a design block
• Analytical thinking, self-sufficiency and team collaboration skills
• Ability to work effectively across teams to debug issues and find root causes
• User knowledge of Linux to enable automation of common tasks
• Knowledge of versioning tools (Git, SVN)

What we’d love you to have

• Knowledge of RISC-V Architecture
• Good knowledge of computer systems and architecture
• Experience with formal verification or other more advanced verification techniques.
• Experience with (or interest in) guiding, mentoring or coaching engineers