LUBIS EDA
Mostafa Elnahas is a Formal Verification Engineer at LUBIS EDA since May 2022, where responsibilities include translating digital system requirements into formal models and properties for verification, identifying potential bugs early in the design process, and collaborating with cross-functional teams for effective solutions. Prior experience includes a student job in formal verification at Mindz Center and serving as a Robotics and Programming instructor. Mostafa Elnahas holds a Master of Science in Embedded Computing Systems from RPTU Kaiserslautern-Landau and a Bachelor of Engineering in Electronics and Communications Engineering from the Arab Academy for Science, Technology and Maritime Transport, along with an exchange program at the University of Central Lancashire.
This person is not in any teams
LUBIS EDA
LUBIS EDA is helping customers to find simulation-resistant and corner-case bugs in high-risk silicon design or IP blocks. Our formal verification service enables you to: 1) Reach your silicon design verification goals faster 2) Uncover hard to find functional bugs in your design 3) Require less RTL simulation time 4) Stay within your budget and tape-out schedule 5) Avoid re-spins and improve designer productivity We functionally verify your RTL with formal techniques and iteratively communicate bugs we find. You get short feedback cycles, reduce your time spent on RTL verification and higher-quality designs. What makes us special? We work with an innovative formal verification methodology, resulting in an easy to use, high quality formal Verification IP. Instead of writing SVA properties by hand we established a property generation flow. During a verification service project, we build a propriatary model that enables us to generate VIP. The VIP can later be used in simulation and/or formal verification of your choice.