Full-Time
Silicon Logic Formal Verification
Confirmed live in the last 24 hours
Rivos
201-500 employees
Develops custom RISC-V server solutions
No salary listed
Junior, Mid
Bengaluru, Karnataka, India
Hybrid position requiring some in-office presence.
- 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.
- 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 solutions 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 proprietary systems. 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 Size
201-500
Company Stage
Series A
Total Funding
$250M
Headquarters
Santa Clara, California
Founded
2021
Simplify's Take
What believers are saying
- Growing interest in RISC-V boosts Rivos' market potential in AI and data analytics.
- Energy-efficient computing trends align with Rivos' power-efficient server solutions.
- Rivos' recent $250M funding supports expansion into AI and data analytics markets.
What critics are saying
- Potential legal challenges from established chip manufacturers like Intel and AMD.
- Pressure from investors for quick returns may affect long-term strategies.
- Geopolitical risks from international expansion, such as opening an office in Taiwan.
What makes Rivos unique
- Rivos leverages RISC-V for customizable, open-source server solutions.
- Focus on power-efficient, high-performance servers sets Rivos apart in the data center market.
- Rivos' development of an open software stack enhances its competitive edge.
Help us improve and share your feedback! Did you find this helpful?
Benefits
Flexible Work Hours
Growth & Insights and Company News
6 month growth
↑ 1%1 year growth
↑ 0%2 year growth
↑ 0%Rivos opened up another office in Taiwan last year.
Rivos, a startup that designs RISC-V-based processors, recently raised over 235 million euros ($250 million) to develop its own AI accelerator.
Rivos, a RISC-V accelerated platform company targeting data analytics and Generative AI, announced it has raised more than $250M in its oversubscribed
Additionally, Rivos is working on an open software stack to support development of its RISC-V based compute platform.
Startup Rivos raises $250 million to develop RISC-V AI chips.