Internship
Silicon Formal Verification – Intern
Confirmed live in the last 24 hours
Rivos
201-500 employees
Develops custom RISC-V server solutions
Austin, TX, USA + 3 more
- Solid understanding of formally specifying and analyzing temporal assertion properties.
- Hands-on experience using model checking tools.
- Experience with interactive theorem provers is a plus.
- Excellent problem-solving skills, along with strong written and verbal communication abilities.
- Excellent organizational skills and high self-motivation.
- Ability to communicate and work well with different design teams.
- PhD, Master’s Degree, or Bachelor’s Degree in a technical subject area.
- As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator design. In this position, you will:
- Work with architects and RTL design engineers to identify, specify, and verify artifacts amenable to formal analysis.
- Prove functional and security properties of the design, find design bugs, and work closely with design teams to deliver high-quality designs.
- Develop sound formal abstract models for verifying system-level properties like deadlock freedom and non-starvation using formal methods.
- Develop innovative flows using formal methods in conjunction with simulation-based techniques for effective bug hunting.
- Develop reusable and scalable proof techniques.
Rivos develops high-performance and power-efficient server solutions using RISC-V, an open-source hardware instruction set architecture. Their custom hardware is designed to meet the specific needs of enterprise clients, including data centers and cloud service providers, who require reliable systems for extensive data processing and storage. Rivos stands out from competitors by utilizing RISC-V technology, which allows for greater flexibility and customization compared to traditional proprietary solutions. The company's goal is to provide tailored, cost-effective server products and related services that enhance performance and integration within clients' IT infrastructures.
Company Stage
Series A
Total Funding
$250M
Headquarters
Santa Clara, California
Founded
2021
6 month growth
↑ 2%1 year growth
↑ 2%2 year growth
↑ 2%
Simplify's Take
What believers are saying
- Rivos' recent funding round of over $250M provides substantial capital for R&D and market expansion.
- The company's focus on RISC-V technology allows for cost-effective and highly customizable server solutions, appealing to enterprise clients with specific needs.
- Rivos' entry into the AI and data analytics markets offers significant growth potential and the opportunity to undercut established players like Nvidia.
What critics are saying
- The competitive landscape in the server and AI chip markets is intense, with established giants like Nvidia posing significant challenges.
- Rivos' reliance on the relatively new and evolving RISC-V architecture may present integration and adoption hurdles for potential clients.
What makes Rivos unique
- Rivos leverages the open-source RISC-V architecture, offering flexibility and customization that proprietary solutions lack.
- The company's focus on high-performance, power-efficient, and secure server solutions specifically tailored for enterprise clients sets it apart from more generalized competitors.
- Rivos' significant funding, including over $250M raised, positions it to aggressively innovate and compete in the AI and data analytics markets.