Senior Engineer - CPU Verification (ALU, FPU Formal and Datapath Verification)
BengaluruFull-time4–7 yrsPosted 1 week ago
Mid-level engineering role at SiFive in Bengaluru. Needs 4+ years and a B.Tech or B.E..
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
- Python
- C++
- Verilog
- C