Staff Engineer Formal(IOMMU-N)

About the role

Staff Engineer Formal(IOMMU-N) at SiFive. Develop and implement formal verification plans for complex digital designs, primarily targeting RISC-V processors and other IP blocks designed in Chisel.

What you'll do

• Develop and implement formal verification plans for complex digital designs, primarily targeting RISC-V processors and other IP blocks designed in Chisel
• Write and debug formal properties (assertions and assumptions) in Chisel/Scala to specify design behavior and identify corner-case bugs
• Utilize formal verification tools to prove design correctness and uncover potential issues
• Collaborate closely with design engineers to understand design specifications, review architectures, and provide formal verification feedback
• Develop verification environments and infrastructure using Chisel, Scala, and TCL scripting

What you need

• 7–13 yrs of experience
• Scala
• FPGA
• VLSI
• UVM
• B.Tech or B.E. or M.Tech