Senior CPU Verification Engineer

European Tech Recruit; Cambridge; On-site; GBP 90,000 - 120,000; Full time

Job summary

European Tech Recruit in Cambridge, UK is seeking a Senior CPU Design Verification Engineer to join our semiconductor client’s CPU team. You will validate micro-architectures and ensure launch readiness for end products.

You will collaborate with CPU and SOC architects, develop detailed verification plans, environments, and testbenches, and lead a small team of verification engineers to deliver robust results with formal methods where applicable.

Qualifications

• Expert in micro-processor verification concepts and architectures.
• Experience leading a small verification team.
• Strong knowledge of memory ordering, cache coherence, prefetching, branch prediction.
• Experience with formal, assertions, silicon bring up.
• Proficient in writing test plans, portable testbenches, transactors, and assembly code.
• Experience with various verification methodologies and tools.

Responsibilities

• Understand concepts and high-level system requirements.
• Develop detailed test and coverage plans.
• Develop verification methodology and reusable environments.
• Create verification environments with stimulus, checkers, assertions, trackers, coverage.
• Develop testbenches and plans for your functional domain.
• Execute plans, bring-up, run regressions, debug failures.
• Track DV progress using bugs and coverage metrics.

Skills

Micro-processor verification

RIS testing

Team leadership

Formal methods

Testbench development

Verification tools & techniques

Tools

Simulators

Waveform viewers

Formal Proof Tools

Gate-level Simulation

Coverage analysis

Job description

European Tech Recruit in Cambridge, UK is seeking a Senior CPU Design Verification Engineer to join our semiconductor client’s CPU team. You will validate micro-architectures and ensure launch readiness for end products.

You will collaborate with CPU and SOC architects, develop detailed verification plans, environments, and testbenches, and lead a small team of verification engineers to deliver robust results with formal methods where applicable.