SILICON LOGIC FORMAL VERIFICATION - FULL TIME
Company: Rivos
Location: Austin
Posted on: October 25, 2024
Job Description:
Positions are open for full-time and co-op/internship roles in
the areas of formal verification of CPU, Fabric, and Accelerator
design
Responsibilities
- 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. Requirements
- 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.
Keywords: Rivos, Waco , SILICON LOGIC FORMAL VERIFICATION - FULL TIME, Other , Austin, Texas
Didn't find what you're looking for? Search again!
Loading more jobs...
