Your matchExample
79%matchWhy you fitThis role calls for Formal Verification and Scala — tell us what you know and we'll check the rest.
Gap to noteAlso lists Chisel — worth confirming before you apply.
Get roles like this, scored and matched, in your inbox.
Sign up free →Job Opening
Staff Engineer Formal(IOMMU-N)
SiFive · Bengaluru, Karnataka · Posted 44 days ago
ic
7+ yrs expFormal VerificationChiselScalaRISC-VAssertion-Based VerificationModel CheckingEquivalence CheckingTCL
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 :
…
Apply on SiFive's site →
This posting is sourced from SiFive's own career site — applying takes you there directly.
Get roles like this, scored and matched, in your inbox.
Sign up free →Related roles
This role centers on Formal Verification, Scala, Chisel, and Assertion-based Verification. There are 138 open roles at SiFive right now.
See this month's Hiring Index: Fabs Are Closing. Design Isn't. for the broader trend behind roles like this one.
Want roles like this found for you?
Set your Focus once. Career Engine screens every new opening every week.
A scored, explained shortlist — not a keyword match — delivered weekly. Free for one profile.