Staff - Formal Verification Engineer

SiFive develops RISC-V processor platforms for markets including AI, automotive, data centers and consumer devices. The engineer will create formal verification plans and environments, prove hardware correctness, debug RTL and guide teams in verification practices.

• Identify hardware blocks suitable for formal verification
• Create formal test plans and define sign-off metrics
• Implement and maintain formal verification environments in Chisel
• Apply formal techniques to reduce complexity and prove DUT correctness
• Debug RTL failures and automate verification with scripts
• Review proofs and setups, and guide team members

Education

Engineering degree

Degree

electrical engineering, computer engineering

Experience

8+ 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.