Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification)
Core
Own verification planning and execution for ALU, floating-point blocks focusing on formal and datapath verification of CPU cores.
Role type
Senior IC CPU verification engineer (ALU/FPU/Formal)
Builds
RISC-V CPU cores for high-performance compute applications
Domain
Semiconductor / Chip Design / CPU Architecture
Deliverable
production ML models | product features | dashboards & analysis | research | client delivery | infrastructure | physical/clinical work
Required skills
SystemVerilog, formal verification, datapath verification, computer architecture, Python/C++ scripting, coverage analysis, debug methodologies
Preferred skills
out-of-order CPU core verification, high-value assertions/checkers/scoreboards, formal verification of execution logic
Technologies
SystemVerilog, Python, C/C++, formal verification tools
Responsibilities
Drive verification strategy, test planning, debug, and coverage closure for complex Vector, ALU, FPU execution-pipeline behaviors; Develop robust verification environments, assertions, checkers, and coverage models; Partner with architecture and design teams to review specifications and identify risks; Contribute reusable methodology and automation to improve verification quality.
Seniority
Senior, hands-on IC
