Full-Time
Logic Equivalence Check
Lec, Engineer
Confirmed live in the last 24 hours
Rivos
201-500 employees
Develops custom RISC-V server solutions
Senior
Austin, TX, USA + 1 more
More locations: Santa Clara, CA, USA
Both locations are hybrid.
- Develop and improve existing flow for logical equivalent check
- Experience with ABORT/NEQ debugging process
- Experience with logical equivalence tools such as Conformal LEC and/or Formality
- Collaborate with tool venders for tool issues debugging and resolving
- Collaborate with cross-functional RTL/PD/DFT teams to come up with custom solutions
- Developing and maintaining in-house CAD tools and flow
- Experience with Conformal ECO/Formality ECO is a plus
- Experience with Conformal Lowpower/VCLP is a plus
- Experience with Low Power implementation flows (UPF) is a plus
- Experience with Physical Synthesis/PNR and also DFT implementation is a plus
- Proficient in programming languages, TCL, Python, Perl
- BS (preferred in EE) plus 8 years
- MS (preferred in EE) plus 5 years
- You will be responsible for building and automating formal verification flow
- Support multiple design teams to consolidate resolutions
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 and cost-effective server products while also offering support and consulting services to ensure optimal integration with clients' existing systems.
Company Stage
Series A
Total Funding
$243.2M
Headquarters
Santa Clara, California
Founded
2021
6 month growth
↑ 12%1 year growth
↑ 14%2 year growth
↑ 14%
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.
Help us improve and share your feedback! Did you find this helpful?