Concepedia

Zurab Khasidashvili

ZK

12

Publications

203

Citations

10

H-Index

1991

Active since

Affiliations

Intel (Israel)(Current)

Intel (United States)

Zurab Khasidashvili is an author at Intel (Israel) specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationFormal VerificationComputer EngineeringProgram AnalysisAutomated ReasoningComputer ArchitectureSystems Engineering

Publications per year

1991–2014

12

Publications

12

Encoding RTL Constructs for MathSAT: a Preliminary Report

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti et al. · Electronic Notes in Theoretical Computer Science · 2006 · 39 citations · Full text

Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints

Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss et al. · 2005 · 24 citations

Hardware Modeling, Engineering, Hardware Verification Language +18

The Church-rosser theorem in orthogonal combinatory reduction systems

Zurab Khasidashvili · OpenGrey (Institut de l'Information Scientifique et Technique) · 1991 · 18 citations · Full text

Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification

Daher Kaiss, Marcelo Skaba, Ziyad Hanna et al. · 2007 · 18 citations

Engineering, Hardware Verification Language, Verification +17

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems

Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom · Information and Computation · 2001 · 17 citations

Information Theory, Regulated Rewriting, Functional Analysis +2

Rows per page

1–5 of 12