Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification)

About the role

Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification) at SiFive. Own verification planning and execution for ALU, floating-point blocks focussing on formal and datapath verification of these blocks.

What you'll do

• Own verification planning and execution for ALU, floating-point blocks focussing on formal and datapath verification of these blocks
• Drive verification strategy, test planning, debug, coverage analysis, and closure for complex Vector, ALU, FPU execution-pipeline and datapath behaviours
• Define effective verification approaches for arithmetic, floating-point, operand dependency, bypass/forwarding, replay, flush/recovery, exception
• Develop robust verification environments, assertions, checkers, scoreboards, stimulus, and coverage models that expose corner cases and improve bug-finding efficiency
• Partner closely with architecture, design, and verification teams to review specifications, identify risk early, and improve verification completeness

What you need

• 4–7 yrs of experience
• Python
• C++
• Verilog
• C
• B.Tech or B.E.