Staff Engineer Formal(IOMMU-N)
BengaluruFull-time7–13 yrsPosted 1 week ago
Senior engineering role at SiFive in Bengaluru. Needs 7+ years and a B.Tech, B.E. or M.Tech.
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
- Scala
- FPGA
- VLSI
- UVM