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
Petach Tiqwa, Israel
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
Experience in writing and debugging formal verification properties using assertion languages like SystemVerilog Assertions (SVA)
Experience in writing and debugging testbenches, test cases, and test vectors for functional verification
Experience in developing and maintaining reusable verification components and environments
Strong debugging skills for identifying and resolving issues in RTL designs, testbenches, and verification environments
Excellent communication skills for collaborating with cross-functional teams including design, architecture, and software engineering teams
Timeline
CPU Verification Engineer
Intel
08.2017 - Current
No Degree - Computer Engineering
Bar Ilan University
04.2001 -