Zurab Khasidashvili

Title: Zurab Khasidashvili: Innovator in Verification Algorithms

Introduction

Zurab Khasidashvili is a prominent inventor based in Rishon Lezion, Israel. He has made significant contributions to the field of verification algorithms, holding a total of 4 patents. His work focuses on enhancing the efficiency of satisfiability checks and formal equivalence verification.

Latest Patents

One of his latest patents is titled "Verification using simultaneous and inductive SAT algorithms." This patent introduces a simultaneous satisfiability algorithm, or SSAT, which allows for efficient simultaneous checks of multiple literals. The algorithm determines whether a literal is true under any satisfying assignments of a formula constructed from various variables. Additionally, it employs temporal induction algorithms to verify the sequential behavior of finite state machines, such as hardware, by performing simultaneous model checking of several invariant properties efficiently.

Another notable patent is "Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verification." This invention outlines a method for selecting cut-point frontiers and generating counter-examples. It identifies both lazy and eager cut-point frontiers and computes reconvergence ratios to determine the optimal frontier for further analysis. The approach also includes generating counter-examples by utilizing eigenvariables and reconverging primary inputs to ensure compatibility with internal signal values.

Career Highlights

Zurab Khasidashvili is currently employed at Intel Corporation, where he continues to innovate in the field of verification algorithms. His work has been instrumental in advancing the capabilities of hardware verification processes.

Collaborations

He has collaborated with notable colleagues, including Ziyad Hanna and John Moondanos, contributing to various projects and enhancing the research environment at Intel Corporation.

Conclusion

Zurab Khasidashvili's contributions to verification algorithms have significantly impacted the field, showcasing his expertise and innovative spirit. His patents reflect a commitment to improving the efficiency and reliability of verification processes in technology.