San Mateo, CA
Intern - Formal Verification
SiFive is the leading provider of market-ready processor core IP, development tools and silicon solutions based on the free and open RISC-V instruction set architecture. Led by a team of seasoned silicon executives and the RISC-V inventors, SiFive helps SoC designers reduce time-to-market and realize cost savings with customized, open-architecture processor cores, and democratizes access to optimized silicon by enabling system designers in all market verticals to build customized RISC-V based semiconductors.
SiFive is investing heavily in the research and development of a robust formal verification platform for their designs. The formal verification flow at SiFive ranges from employing state-of-the-art techniques using the Coq proof assistant to using logical equivalence checkers. As a formal verification intern, you will be mentored by a formal verification engineer at SiFive.
A list of possible projects pursued by SiFive in the area of formal verification is below. If you are interested in other (related) projects in hardware formal verification, feel free to bring that up in your application.
Possible Project Areas
- Integrating Chisel-based tool-flow for hardware design with Coq-based verification flow based on Kami (http://plv.csail.mit.edu/kami). This involves several standalone projects including (but not limited to) a) automatically generating a Coq/Kami model from a Chisel design, b) checking the equivalence of the net-lists produced by Coq/Kami model and the Chisel design
- Verification of the Rocket chip
- Verification of several small hardware blocks including memory controllers and cache coherence protocol
- Developing an infrastructure for formally verifying security-related properties
If you are a student interested in using proof assistants and would like to dabble with real hardware designs, SiFive is a great place to get some hands-on experience working on state-of-the-art formal verification for hardware designs.
SiFive is proud to be an equal employment opportunity workplace. We offer a competitive compensation package that includes flexible paid time off, health, vision and dental benefits, 401(k) plan, employee stock option program, and much more. If you yearn to be challenged and wish to work in an environment where the boundaries of your creativity and skills will be tested, then SiFive is place for you. Collaborate | Innovate | Empower