This inventor holds 3 USPTO granted patents. Top assignees: Cadence Design Systems, Inc., Corekt Security Systems, Inc.. Active years: 2001-2014.
Company Filing History:
Years Active: 2001-2014
Title: Shmuel Sagiv: Innovator in Circuit and Software Verification
Introduction
Shmuel Sagiv is a notable inventor based in Tel Aviv, Israel. He has made significant contributions to the field of circuit and software verification, holding a total of 3 patents. His work focuses on developing algorithms that enhance the functionality and reliability of electronic systems.
Latest Patents
One of his latest patents is a general numeric backtracking algorithm for solving satisfiability problems to verify the functionality of circuits and software. In this invention, a design verifier is disclosed, which includes a model extractor and a bounded model checker equipped with an arithmetic satisfiability solver. This solver searches for a solution in the form of a numeric assignment of numbers to variables that satisfies all numeric formulas involved. When conflicts arise during the search, the algorithm deduces new numeric formulas to guide the search toward a solution. If a numeric assignment is found that satisfies all formulas, it indicates a violation of a functional property of the system.
Another patent by Shmuel Sagiv is an apparatus with a general numeric backtracking algorithm for solving satisfiability problems, which also aims to verify the functionality of circuits and software. This invention shares similar features with his previous patent, emphasizing the importance of numeric assignments in ensuring system functionality.
Career Highlights
Shmuel Sagiv has worked with prominent companies in the technology sector, including Cadence Design Systems, Inc. and Corekt Security Systems, Inc. His experience in these organizations has allowed him to refine his expertise in design verification and algorithm development.
Collaborations
Throughout his career, Shmuel has collaborated with esteemed colleagues such as Kenneth L McMillan and Andreas Kuehlmann. These partnerships have contributed to the advancement of his research and innovations in the field.
Conclusion
Shmuel Sagiv's contributions to the field of circuit and software verification through his innovative patents and collaborations highlight his role as a significant inventor. His work continues to influence the development of reliable electronic systems.