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, Datapath)
Builds
RISC-V CPU cores for high-performance compute applications
Domain
Semiconductor / Chip Design / Computer Architecture
Required skills
SystemVerilog, formal verification, datapath verification, computer architecture, Python/C++ scripting, test planning, coverage analysis, debug
Preferred skills
high-performance out-of-order CPU core verification, formal verification of execution logic, collaboration across architecture and design teams
Technologies
SystemVerilog, Python, C/C++, RISC-V
Responsibilities
Own verification planning and execution for ALU, floating-point blocks; Drive verification strategy, test planning, debug, coverage analysis, and closure; Develop robust verification environments, assertions, checkers, scoreboards, stimulus, and coverage models; Partner with architecture, design, and verification teams; Drive efficient root-cause debug; Contribute reusable methodology, automation, and infrastructure.
Seniority
Senior, hands-on IC
