> Markdown version of [/jobs/ext/153288-principal-design-verification-engineer-high-performance-cpu-subsystem](https://www.wearedevelopers.com/jobs/ext/153288-principal-design-verification-engineer-high-performance-cpu-subsystem). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Principal Design Verification Engineer - High Performance CPU Subsystem

- **Company:** Sifive Inc.
- **Location:** Austin, TX, United States
- **Experience:** Expert
- **Contract:** Permanent contract
- **Skills:** Computer Engineering, Microarchitecture, Extract Transform Load (ETL), Software Debugging, Memory Management, Formal Verification, Memory Management Unit (Virtual Memory), Object-Oriented Software Development, Systems Development Life Cycle, Software Engineering, Verification and Validation (Software), Subsystems, Network Switches, Scripting, Information Technology, Front End Software Development
- **Published:** May 21, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=a8ba5afdd0417a45

## About the Role

Do you have experience in Verification (System development task)?, * BS, MS, or PhD in Electrical Engineering, Computer Engineering, Computer Science, or a related field.

 * 12+ years of relevant experience in CPU/core or SoC functional verification, with depth appropriate for a Principal / T6 role.
 * Direct experience with out-of-order core verification and strong understanding of CPU microarchitecture.
 * Strong understanding of cache-coherent systems, on-chip interconnects, memory subsystem behavior, and verification of ordering and flow-control semantics.
 * Deep expertise in one or more CPU areas such as Frontend, Midcore, Load-Store Unit, memory ordering/consistency, or hardware prefetch verification.
 * Strong knowledge of verification flow methodology, including test planning, stimulus generation, failure analysis, coverage analysis, and coverage closure.
 * Strong debug skills and the ability to translate architectural intent into effective verification strategy and execution.
 * Strong software development, scripting, and automation skills for building scalable DV infrastructure and workflows., * Experience spanning both high-performance CPU core verification and coherent interconnect, cache, or memory-subsystem verification in large SoCs.
 * Experience with subsystem integration, bridge-heavy designs, or protocol interactions across multiple interfaces.
 * Experience using formal verification for bounded, interface-heavy, or high-risk microarchitectural problems.
 * Experience using emulation to accelerate verification and improve turnaround on large CPU and subsystem verification workloads.
 * Experience collaborating effectively with performance, compiler, software, formal, and system verification teams to close gaps from multiple perspectives.
 * Demonstrated technical leadership through mentoring engineers, influencing methodology, and driving cross-team execution on complex verification efforts., BS/MS/Ph.D in EE, CE or CS

12+ years relevant experience with Core/CPU functional verification

8+ years direct experience on memory management verification

Deep understand of computer architecture

Seasoned developer using object oriented programing principles

## Description

SiFive is looking for a Principal Design Verification Engineer to lead verification strategy and execution for a high-performance CPU subsystem spanning both out-of-order CPU core development and cache-coherent interconnect/subsystem behavior.

This is a Principal individual-contributor role for an engineer who can define architecture-aware verification strategy, identify risks early, solve the hardest subsystem-level problems, and raise verification quality across a broader organization.

The role bridges key CPU and uncore domains, including high-performance OoO core areas such as Frontend, Midcore, Load-Store Unit, and Hardware Prefetch, together with coherent data movement, protocol correctness, ordering, flow control, quality-of-service behavior, and subsystem integration across interconnect fabrics and bridge paths.

You will work closely with architecture, RTL, formal, performance, and design verification teams to ensure design intent is captured correctly, debugability is considered early, and signoff quality is achieved with strong technical judgment and scalable methodology.

Responsibilities

 * Lead verification strategy and execution for high-performance CPU subsystem development, with scope spanning OoO core microarchitecture and coherent interconnect/subsystem behavior.
 * Own verification planning, execution, debug, coverage analysis, and closure from block level through subsystem integration and signoff.
 * Define verification strategies for complex CPU behaviors including branch prediction, instruction fetch, issue/dispatch behavior, pipeline interactions, load/store ordering, hazard handling, memory consistency, and hardware prefetch correctness.
 * Define verification strategy and closure criteria for coherent traffic, protocol correctness, ordering rules, backpressure, buffering behavior, arbitration, QoS, and error handling across cache-coherent interconnect paths.
 * Drive verification across interface boundaries, bridges, and protocol adaptation paths, including conversion, buffering, and related subsystem-level data movement behavior.
 * Develop high-value checkers, scoreboards, assertions, stimulus strategies, and coverage models that expose corner cases and improve bug-finding efficiency across both core and uncore verification problems.
 * Apply the right verification method for the problem, using simulation, formal techniques, and emulation to improve quality, accelerate turnaround, and strengthen debug efficiency on large subsystem workloads.
 * Partner with architects and designers from early feature-definition stages to review specifications, identify ambiguity, and improve designs from a verification and debugability perspective.
 * Drive efficient failure analysis and root-cause debug across specification, RTL, test content, and verification infrastructure.
 * Mentor engineers, influence team-wide methodology, and shape reusable verification approaches that benefit future generations of high-performance CPU subsystems., * Verification plans capture the real architectural and microarchitectural risks early and completely.
 * Difficult CPU and coherent-subsystem bugs are found early, debugged efficiently, and closed with durable fixes.
 * Verification quality improves across the broader organization through stronger methodology, better technical guidance, and reusable infrastructure.
 * Architecture, design, and DV teams rely on you as a technical leader for the most complex verification challenges in high-performance CPU subsystem development.

Working on solving verification challenges of memory management units that are being reused across several different generations of the Cores, as well as IO memory management unit. This includes hypervisor, virtualization, and guest virtualization., This position requires a successful background and reference checks and satisfactory proof of your right to work in
United States of America

Any offer of employment for this position is also contingent on the Company verifying that you are a authorized for access to export-controlled technology under applicable export control laws or, if you are not already authorized, our ability to successfully obtain any necessary export license(s) or other approvals.

SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.

As an E-Verify employer, we use this system to confirm the employment eligibility of all new hires in accordance with federal law. All applicants will be required to complete a Form I-9, Employment Eligibility Verification, upon hire. We do not use E-Verify to pre-screen job candidates and will comply with all E-Verify regulations.


## Related Videos

- [You don't need to write the code. You need to become a verification architect and prove it's correct](https://www.wearedevelopers.com/videos/100023-you-don-t-need-to-write-the-code-you-need-to-become-a-verification-architect-and-prove-it-s-correct)
- [Alibaba Big Data and Machine Learning Technology](https://www.wearedevelopers.com/videos/37-alibaba-big-data-and-machine-learning-technology)
- [10M Data Records Lost, Underwater Computing, and Psychedelic Fish - Matthias Geniar](https://www.wearedevelopers.com/videos/1908-10m-data-records-lost-underwater-computing-and-psychedelic-fish-matthias-geniar)
- [JavaScript? No. Java Scripts! - Scripting with Java](https://www.wearedevelopers.com/videos/2094-javascript-no-java-scripts-scripting-with-java)
- [More efficient software for more efficient microchips](https://www.wearedevelopers.com/videos/1164-more-efficient-software-for-more-efficient-microchips)
- [Blazor Unleashed: The Future of .NET Web Development](https://www.wearedevelopers.com/videos/1564-blazor-unleashed-the-future-of-net-web-development)

## Related Articles

- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Should senior developers refuse interview coding challenges?](https://www.wearedevelopers.com/magazine/29-should-senior-developers-refuse-interview-coding-challenges)
- [Why Attend a Developer Event in 2026?](https://www.wearedevelopers.com/magazine/688-why-attend-a-developer-event-in-2026)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)
- [What’s the Difference between a Junior, Mid, and Senior Developer?](https://www.wearedevelopers.com/magazine/238-what-s-the-difference-between-a-junior-mid-and-senior-developer)