Staff - Formal Verification Engineer
BengaluruFull-time8–14 yrsPosted 1 week ago
Leadership electrical and electronics role at SiFive in Bengaluru. Needs 8+ years and a B.Tech or B.E..
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