Silicon Logic Formal Verification - Full Time

8 Months ago • All levels

Job Details

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.

Similar Jobs

Tencent - HR Compliance Associate

Tencent

Shenzhen, Guangdong Province, China (On-Site)
6 Months ago
Revenera - Digital Solutions Success Manager

Revenera

Bengaluru, Karnataka, India (Hybrid)
2 Months ago
Double Eleven - Senior Graphics Programmer

Double Eleven

Middlesbrough, England, United Kingdom (Hybrid)
3 Months ago
Casumo - Office Coordinator

Casumo

Gibraltar (On-Site)
2 Weeks ago
Autodesk - Product Support Manager - PDMS (EMEA Shift)

Autodesk

Bengaluru, Karnataka, India (On-Site)
1 Year ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Star schema - General Manager

Star schema

Chicago, Illinois, United States (On-Site)
1 Week ago
Razer - Senior Software Engineer (Computer Vision Engineer)

Razer

Singapore (On-Site)
1 Month ago
PwC - Director - Tech Advisory

PwC

Kuala Lumpur, Federal Territory Of Kuala Lumpur, Malaysia (On-Site)
2 Weeks ago
Ansys - Senior Application Engineer

Ansys

Shanghai, China (On-Site)
1 Month ago
T systems - Cloudera Developer

T systems

Pune, Maharashtra, India (On-Site)
3 Months ago
Unity - Senior Partner Relations Manager

Unity

Tokyo, Japan (On-Site)
2 Months ago
binance - Creator Partnerships Manager, Binance Square

binance

Dubai, Dubai, United Arab Emirates (Remote)
1 Month ago
Tesla - Sales Advisor

Tesla

Cambridge, England, United Kingdom (On-Site)
4 Months ago
Playtika - Incident Engineer

Playtika

Poland (Hybrid)
6 Months ago
HCL Tech - Senior Technical Architect .NET, C#, C++

HCL Tech

Stockholm, Stockholm County, Sweden (On-Site)
4 Weeks ago

Get notifed when new similar jobs are uploaded

Jobs in Bengaluru, Karnataka, India

Philips - Business Impact Manager – Digital Solutions

Philips

Bengaluru, Karnataka, India (On-Site)
2 Weeks ago
SparkCognition - Software Engineer (Frontend)

SparkCognition

Bengaluru, Karnataka, India (On-Site)
9 Months ago
bounteous - CDP Solution Architect (RTCDP)

bounteous

India (Hybrid)
4 Months ago
Ethos Life - Senior Engineering Manager, Consumer

Ethos Life

Bengaluru, Karnataka, India (On-Site)
3 Weeks ago
zeta - Business Intelligence Engineer I

zeta

Bengaluru, Karnataka, India (On-Site)
1 Month ago
extreme network - SR PROGRAMMER - Oracle Fusion Cloud- VBCS/ BI Reports/ OTBI/FRS & SmartView

extreme network

Chennai, Tamil Nadu, India (Hybrid)
8 Months ago
Capgemini - Record to Analyze Process Expert

Capgemini

Noida, Uttar Pradesh, India (On-Site)
2 Months ago
ShyftLabs - Oracle Retail Engineer

ShyftLabs

Noida, Uttar Pradesh, India (Hybrid)
4 Weeks ago
ISS Stoxx - Python Engineer

ISS Stoxx

Mumbai, Maharashtra, India (On-Site)
4 Days ago
Tide - Principal Cloud Engineer

Tide

Bengaluru, Karnataka, India (Remote)
1 Month ago

Get notifed when new similar jobs are uploaded

Similar Category Jobs

Looks like we're out of matches

Set up an alert and we'll send you similar jobs the moment they appear!

About The Company

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (Hybrid)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (Hybrid)

Hsinchu, Hsinchu City, Taiwan (On-Site)

Santa Clara, California, United States (On-Site)

Santa Clara, California, United States (Hybrid)

Santa Clara, California, United States (On-Site)

View All Jobs

Get notified when new jobs are added by rivos

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug