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

SiFive develops RISC-V compute platforms for applications including AI, automotive, data center, mobile and consumer technology. You will verify ALU and floating-point CPU blocks using formal and datapath methods, from planning and execution through debug and coverage closure.

• Plan and execute ALU and floating-point block verification
• Define verification strategies for arithmetic, dependencies, forwarding, exceptions and execution-to-commit behavior
• Develop verification environments, assertions, checkers, scoreboards, stimulus and coverage models
• Analyze coverage and debug issues across specifications, RTL, tests and infrastructure
• Collaborate with architecture, design and verification teams to identify risks
• Improve reusable verification methodology, automation and infrastructure

Education

Engineering degree

Degree

electrical engineering, computer engineering, computer science

Experience

4+ years

Domain

semiconductors

SiFive India Pvt Ltd has 25 open roles in Bangalore, at SiFive Bengaluru (Bagmane World Technology Centre). See every SiFive India Pvt Ltd role.