Staff Formal Verification Engineer
BengaluruFull-time7–13 yrsPosted 1 week ago
Senior electrical and electronics role at SiFive in Bengaluru. Needs 7+ years and a B.Sc, M.Sc or PhD.
About the role
Staff Formal Verification Engineer at SiFive. Identify blocks suitable for applying Formal Verification.
What you'll do
- Identify blocks suitable for applying Formal Verification
- Create Formal Test-plan for blocks identifying properties to be implemented and sign-off metrics
- Implementation and maintenance of Formal Verification environments in Chisel
- Applying various FV techniques to reduce complexity and prove correctness of DUT
- Debugging RTL to identify causes of failure scenarios
What you need
- Verilog
- Maintenance
- Test cases