Cindy Eisner

Title: The Innovations of Cindy Eisner

Introduction

Cindy Eisner is a prominent inventor based in Haifa, Israel. She has made significant contributions to the field of technology, particularly in circuit design and software verification. With a total of 3 patents to her name, Cindy has established herself as a key figure in her industry.

Latest Patents

Cindy's latest patents include innovative methods that enhance circuit design and software verification. One of her notable inventions is a patent for "Clock gating using abstraction refinement." This invention introduces an initial clock gating function to an original circuit design. By utilizing abstraction-refinement, the initial clock gating function is modified to ensure that the gated circuit design remains equivalent to the original. A model checker, such as a SAT solver, is employed to determine the equivalency of the two designs. If a counter-example is found, it is used to adjust the initial clock gating function, leading to a modified gated circuit design that maintains equivalency.

Another significant patent is for "Automatic abstraction of software source." This method verifies software source code that references program variables by processing the code to derive a set of next-state functions representing its control flow. The program variable references are replaced with non-deterministic choices in the next-state functions. These functions are then restricted to produce a finite-state model of the control flow, which is verified to identify any errors in the source code.

Career Highlights

Cindy currently works at International Business Machines Corporation (IBM), where she continues to innovate and contribute to her field. Her work has garnered attention for its practical applications and technical depth.

Collaborations

Cindy collaborates with talented individuals such as Ilan Beer and Yoav Rodeh, who share her passion for advancing technology and innovation.

Conclusion

Cindy Eisner's contributions to circuit design and software verification exemplify her dedication to innovation. Her patents reflect her expertise and commitment to improving technology. Through her work at IBM and collaborations with esteemed colleagues, Cindy continues to make a significant impact in her field.