INACTIVE
Full-Time
Silicon Logic Formal Verification
Posted on 4/11/2024
High performance RISC-V computing solutions
Hardware
Junior, Mid, Senior
Santa Clara, CA, USA
Requirements
- Interest in learning and becoming an expert in the VLSI, and digital logic design and verification techniques.
- Detail oriented mindset and desire to overcome challenges is required.
- Formal Method or Formal Verification technologies and abstraction techniques experience is a plus.
- Knowledge in interpreting hardware specifications using assertion-based languages such as SVA.
- Experience in using formal tools and models.
- Proficiency in any scripting language with excellent debugging skills.
- Passionate about developing innovative formal verification solutions.
- Excellent skills in problem solving, written and verbal communication, excellent organization skills, and highly self-motivated.
- Ability to work well in a team and be productive under aggressive schedules.
Responsibilities
- Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification.
- Developing a comprehensive formal verification test plan.
- Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture.
- Crafting novel and creative solutions for verifying complex design micro-architectures.
- Developing and implementing re-usable and optimized formal models and testbenches.
- Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
Rivos Inc. is ideal for professionals keen on contributing to the frontier of computing technology, specifically within the RISC-V architecture. Emphasizing high-performance systems for the enterprise sector, the company not only offers the opportunity to work on groundbreaking projects but also to grow in a field that demands constant innovation and offers substantial industry impact.
Company Stage
Series A
Total Funding
$370M
Headquarters
Santa Clara, California
Founded
2021
Growth & Insights
Headcount
6 month growth
↑ 3%1 year growth
↑ 14%2 year growth
↑ 46%INACTIVE