Company Filing History:
Years Active: 2005-2007
Title: Innovations by Sharon Keidar
Introduction
Sharon Keidar is an accomplished inventor based in Yokneam, Israel. He has made significant contributions to the field of design verification through his innovative patents. With a total of 2 patents, Keidar continues to push the boundaries of technology and engineering.
Latest Patents
One of his latest patents is titled "Simulation monitors based on temporal formulas." This method for design verification involves receiving a software model of a system under evaluation and providing a property that depends on a specified variable within a predefined range of values. The property applies to all states of the system for any selected value among the variable's values within the predefined range. The property is processed to generate a checker program that detects any violations. A simulation of the system is then executed using the software model along with the checker program.
Another notable patent is "Model checking with layered localization reduction." This method verifies a property of a complete model of a system under study by abstracting some variables from the model to create an abstract model. Starting from an initial state in the abstract model's state space, an abstract path is identified according to the transition relation to a target state defined by the property. A subset of the abstracted variables is restored to produce an intermediate model, allowing for the verification of the property on the complete model based on this intermediate model.
Career Highlights
Sharon Keidar is currently employed at International Business Machines Corporation (IBM), where he applies his expertise in design verification and simulation technologies. His work has been instrumental in advancing the capabilities of software modeling and verification processes.
Collaborations
Throughout his career, Keidar has collaborated with talented individuals such as Danny Geist and Anna Gringauze, who contribute to the innovative environment at IBM.
Conclusion
Sharon Keidar's contributions to the field of design verification through his patents demonstrate his commitment to innovation and excellence. His work continues to influence the industry and inspire future advancements in technology.