Company Filing History:
7 out of 54,780 
6 out of 2,546 
4 out of 34 
Years Active: 2003-2021
Title: Ziyad Hanna: Innovator in Electronic Design Verification
Introduction
Ziyad Hanna is a prominent inventor based in Haifa, Israel, known for his significant contributions to the field of electronic design verification. With a total of 17 patents to his name, he has made remarkable advancements in methods and systems that enhance the accuracy and efficiency of electronic design processes.
Latest Patents
Among his latest patents, Ziyad has developed a "System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic design." This innovation focuses on formal verification methods, utilizing a processor to analyze a reference model that includes a software specification and an implementation model at the register transfer level. The method generates invariants through semantic analysis, which aids in automatically producing case-splitting candidates based on these invariants.
Another notable patent is the "System, method, and computer program product for sequential equivalence checking in formal verification." This computer-implemented method also deals with formal verification of electronic designs. It involves receiving a reference model and generating case split hints to decompose the design state space into smaller partitions. This process allows for performing model checking on abstract models to ensure their accuracy.
Career Highlights
Ziyad has worked with leading companies in the technology sector, including Intel Corporation and Cadence Design Systems, Inc. His experience in these organizations has contributed to his expertise in electronic design and verification methodologies.
Collaborations
Throughout his career, Ziyad has collaborated with notable professionals in the field, including Habeeb Farah and Zurab Khasidashvili. These collaborations have further enriched his work and innovations in electronic design verification.
Conclusion
Ziyad Hanna stands out as a key figure in the realm of electronic design verification, with a strong portfolio of patents that reflect his innovative spirit and technical expertise. His contributions continue to shape the future of electronic design methodologies.