מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Intel Formal Verification Engineer Israel, Haifa District, Haifa 435093928
(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
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
משרות נוספות שיכולות לעניין אותך
