Staff Engineer Formal(IOMMU-N)

Responsibilities:

• 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.
• Identify and implement strategies for improving formal verification efficiency and coverage, including functional coverage and constrained-random verification techniques seen in methodologies like UVM adapted for Chisel.
• Analyze formal verification results, debug failures, and work with the design team to resolve issues.
• Contribute to the continuous improvement of our formal verification flows and methodologies.

Qualifications:

• Bachelor's or Master's degree in Electrical Engineering, Computer Engineering, or a related field.
• 7+ years of hands-on experience in formal verification of digital hardware designs.
• Proficiency in Scala programming, with hands-on experience in Chisel hardware description language.
• Strong understanding of formal verification methodologies (e.g., assertion-based verification, model checking, equivalence checking).
• Experience in writing effective formal properties and assertions. Tools like chisel-formal use Formal traits and assert statements within Chisel modules for this purpose github.com.
• Familiarity with formal verification tools and their application.
• Experience with TCL scripting for tool automation and flow development.
• Solid understanding of digital design principles, computer architecture, and FPGA/ASIC design flows.
• Excellent problem-solving skills and a keen eye for detail.
• Strong communication and collaboration abilities.

Additional Information:

This position requires a successful background and reference checks and satisfactory proof of your right to work in India.

Any offer of employment for this position is also contingent on the Company verifying that you are a authorized for access to export-controlled technology under applicable export control laws or, if you are not already authorized, our ability to successfully obtain any necessary export license(s) or other approvals.

SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.