Summary
Overview
Work History
Education
Skills
Timeline
Generic

Maor Shriki

Verification Engineer
Lod

Summary

Dedicated and results-driven Pre-Silicon Verification Engineer with 6 years of experience in formal and dynamic verification methodologies (2 of them as part time) . Demonstrated expertise in ensuring the correctness and functionality of digital designs through rigorous verification processes. Proficient in utilizing formal verification techniques, dynamic verification methodologies, and industry-standard tools to validate complex RTL designs. Skilled in collaborating with cross-functional teams to deliver high-quality silicon designs on schedule. Adept at problem-solving, critical thinking, and adapting to evolving project requirements. Passionate about continuous learning and staying abreast of emerging technologies in the field of pre-silicon verification.

Overview

7
7
years of professional experience
2
2
Languages

Work History

CPU Verification Engineer

Intel
08.2017 - Current
  • Executed targeted stress tests to validate system performance under extreme conditions, ensuring robustness and stability.
  • Contributed to continuous improvement initiatives by providing feedback on existing processes and suggesting enhancements.
  • Collaborated with cross-functional teams to ensure seamless integration of components, resulting in a robust final product.
  • Implemented coverage-driven verification techniques for improved test effectiveness and resource allocation.
  • Formal verification engineer - created formal tests environment (proofs) using formal tools.

Education

No Degree - Computer Engineering

Bar Ilan University
04.2001 -

Skills

Expertise in formal verification methodologies such as model checking, equivalence checking, and property checking

undefined

Timeline

CPU Verification Engineer

Intel
08.2017 - Current

No Degree - Computer Engineering

Bar Ilan University
04.2001 -
Maor ShrikiVerification Engineer