Senior CPU Formal Verification Engineer

SiFive develops RISC-V compute platforms and processor designs for markets including AI, automotive, and data centers. You will own formal verification strategies for out-of-order CPU cores and work with design teams to prove RTL correctness.

• Identify hardware blocks suitable for formal verification
• Create formal test plans, properties, and sign-off metrics
• Implement and maintain formal verification environments in Chisel
• Apply formal techniques to simplify proofs and verify correctness
• Debug RTL failure scenarios and automate verification scripts
• Guide teammates and maintain assertion libraries

Experience

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