Location History:
- Karmeil, IL (2019 - 2020)
- Karmiel, IL (2021)
Company Filing History:
Years Active: 2019-2021
Title: Nizar Hanna: Innovator in Electronic Design Verification
Introduction
Nizar Hanna is a prominent inventor based in Karmeil, IL, known for his contributions to electronic design verification. With a total of 5 patents, he has made significant strides in the field of integrated circuit design and verification.
Latest Patents
One of Nizar's latest patents is titled "Unreachable cover root cause search." This invention involves a formal verification EDA application that can be configured to receive a circuit design of an IC chip, which includes a list of properties and covers for the chip. The formal verification engine executes a verification process to identify unreachable covers and conducts a root cause search to determine the reasons behind their inaccessibility. This process involves selectively adding and removing cutpoints to signals in the circuit design to pinpoint the root cause, which is a signal upstream from the selected cover.
Another notable patent is "System, method, and computer program product for debugging one or more observable failures in a formal verification." This invention relates to a method for electronic design verification, where a processor provides an electronic design and identifies design violations using a structural observability filter. The method generates a violation trace and displays it on a graphical user interface, allowing users to debug design violations effectively.
Career Highlights
Nizar Hanna is currently employed at Cadence Design Systems, Inc., a leading company in electronic design automation. His work focuses on enhancing the reliability and efficiency of electronic design processes through innovative verification methods.
Collaborations
Nizar collaborates with talented individuals such as Maayan Ziv and Kanwar Pal Singh, contributing to advancements in electronic design verification.
Conclusion
Nizar Hanna's innovative work in electronic design verification has led to significant advancements in the field. His patents reflect a deep understanding of complex circuit designs and a commitment to improving verification processes.