CPU Architecture Verification Engineer

NUVACORE; Austin (TX); On-site; USD 140,000 - 210,000; Full time

Job summary

Nuvacore is building a high-performance, low-power CPU and seeks Verification Engineers at multiple levels to validate architectural correctness. You will drive verification strategy, build robust environments, create RIS stimuli, and collaborate with architects and RTL teams for end-to-end verification.

Roles span Senior to Principal levels, focusing on architectural state vs. specification, coverage closure, and bringing up verification flows across emulation, FPGA, and silicon stages.

Qualifications

• Degree in Electrical/Computer Engineering, CS, or equivalent.
• 4+ years design-verification (Senior) or 15+ years (Principal) on CPU or complex digital design.
• Strong CPU architecture knowledge, ISA familiarity (x86, ARM, or RISC-V).
• Hands-on verification: test plans, testbenches, checkers, coverage.
• Proficiency in C/C++/Rust and/or SystemVerilog; Python or Perl.
• Experience writing and debugging tests in assembly for CPU verification.

Responsibilities

• Plan & Strategy: define verification scope and strategy for architectural correctness.
• Environment Setup: build and maintain verification environments and co-simulation with golden model.
• Test & Debug: generate assembly and RIS stimuli for CPU verification.
• Coverage Closure: define coverage space and monitors; assess completion.
• Cross-functional Collaboration: work with architects and RTL to fix mismatches and support bring-up.

Skills

C/C++/Rust

SystemVerilog

Python

Assembly

Education

Electrical/Computer Engineering, CS degree or equivalent

Tools

Python

Perl

Co-simulation

Job description

Nuvacore is building a ground‑up high performance, low‑power CPU for next‑generation compute workloads. We are seeking Verification Engineers at multiple levels — from Senior Engineer to Principal level — to help prove that the Nuvacore CPU is architecturally correct. As part of the design verification (DV) team, you will help drive architectural verification — checking the CPU's behavior and architectural state against the architecture specification and a golden reference model — building the stimulus, checkers, and flows that find architectural bugs long before silicon, working shoulder-to-shoulder with architecture and RTL design.

THE ROLE

• Plan & Strategy: Drive the verification scope, strategy, and test plans for architectural correctness — the CPU's behavior and architectural state versus the specification and a golden reference model.
• Environment Setup: Build, maintain, and scale robust verification environments — including co‑simulation against the golden reference model — that compare architectural state end to end.
• Test & Debug: Generate stimulus in assembly and random instruction sequences (RIS) to exercise the full instruction set and architectural corner cases such as exceptions, interrupts, and privilege transitions.
• Coverage Closure: Define the coverage space, write functional coverage monitors, and analyze metrics to prove the architectural test plan is complete.
• Cross-functional Collaboration: Partner with architects and RTL teams to root‑cause mismatches across RTL, model, and specification, drive design fixes, and support emulation, FPGA, and silicon bring‑up.

Requirements — Must To Have

• Degree in Electrical/Computer Engineering, Computer Science, or equivalent practical experience.
• 15+ years (Principal) or 4+ years (Senior Engineer) of design‑verification experience, ideally on a CPU or complex digital design.
• Strong knowledge of CPU architecture and micro‑architecture — the instruction set, architectural state, exceptions, and privilege model — with a good understanding of at least one modern ISA (x86, ARM, or RISC‑V).
• Hands‑on functional verification: test plans, testbenches, checkers, and coverage.
• Proficiency in C/C++/Rust and/or SystemVerilog, plus a scripting language (Python; Perl a plus).
• Experience writing and debugging tests in assembly for CPU verification.

Requirements — Nice To Have

• Architectural / instruction‑set verification against a golden reference model.
• Random instruction sequence (RIS) stimulus generation.
• Exceptions, interrupts, privilege levels, and virtualization.
• Constrained‑random verification and coverage‑driven closure.
• Assertions and formal verification.
• Emulation/FPGA and silicon bring‑up and debug (waveforms, trace).

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.