Ayman Muallem

Ayman has over 10 years of experience in EDA and software development. He was part of the team since Optima was founded in 2014. He is involved in the development of all the fundamental algorithms and flows. He was responsible for developing and programming the first Optima tools supporting selective hardening for Soft Errors mitigation, Hard Errors coverage, and is now developing methodologies and tools for Automotive Safety.

Ayman has expertise in chip design and verification using formal tools and dynamic simulation. He has vast experience in Functional Safety, ISO-26262, design, and verification of different safety mechanisms, and compliance processes with ISO-26262.