Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Intel Formal Verification Engineer 
Israel, Haifa District, Haifa 
435093928

Today
Job Description

(NCNG)data centers.solvers, experimenters, and innovators who are dedicated todesigning the network technologies that currently leadand continue to transform datacenter ecosystems.As aworld-class organization,looking for outstandingtalent to accelerate our growth during an exciting timein Ethernet networking marketing technology. If

Job Description

  • Verify the micro-architecture of complex IPs using industry standard Formal Verification tools and technologies based on latest model checking and equivalence checking algorithms

  • Define the Formal Verification scope

  • Deploy the right strategy to prove the correctness while deploying advanced formal techniques, and create abstraction models for convergence on the design

  • Carve out the right boundaries for the design, create comprehensive Formal Verification test plans,trackand verify them

  • Analyze new methodologies evaluates new tools and corroborate results

Qualifications

Job Responsibilities:You will study the definition and functional requirements of hardware components and RTL designs,You will define and develop Formal Verificationenvironments, andrun the proofs until fully verified.During the development of theyou will identify design bugs and help to clean them out from the design.


Qualifications:

:

  • Bachelor’s degree in Electrical/Computer Engineering or Computer Science

  • 3+ years of experience in formal verification

Nice to have:

  • Experience withJasper, SVA, Jasper Apps (connectivity, coverage)

  • Experience with Perl/Python

Primary Location:

Israel, Haifa

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits