Staff Design Verification Engineer – CPU Core Formal Verification
Core
Drive formal verification of high-performance out-of-order CPU core functionality, including frontend, midcore control, issue/commit logic, and load-store interactions.
Role type
Staff individual-contributor design verification engineer (CPU core formal verification)
Builds
Formal proof environments, property sets, checkers, and proof infrastructure for complex CPU microarchitectures
Domain
Semiconductor / CPU Design / Computer Architecture
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
Required skills
Formal verification (assertion-based, proof analysis, abstraction), CPU microarchitecture knowledge, RTL debugging, verification methodology (coverage, signoff), scripting (Python/Perl/Tcl), stakeholder collaboration
Preferred skills
Out-of-order CPU core verification, safety/liveness/deadlock checks, formal/simulation balance, scalable proof planning, engineering mentorship
Technologies
Formal verification tools, RTL, Python, Perl, Tcl
Responsibilities
Own formal verification planning and execution for CPU core areas; Develop formal verification plans based on architectural intent; Create and maintain scalable formal environments; Target high-value CPU verification problems (pipeline control, hazard handling); Analyze proof failures and drive fixes; Partner with architecture and simulation teams; Contribute reusable formal methodology; Mentor other engineers
Seniority
Staff, hands-on IC with mentorship
