Inventor · disambiguated record

Zurab Khasidashvili

Also filed as: KHASIDASHVILI ZURAB

4 granted patents·21 citations·filing 2002–2006

73Inventor score

Technology areasG06F

Files withINTEL CORP4

Top patents by PatentIndex Score

4 records

0161US6792581B2Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verificationINTEL CORP·Filed 2002·Granted Sep 14, 2004·9 cites·15 claims
0259US7730436B2Verification using simultaneous and inductive SAT algorithmsINTEL CORP·Filed 2006·Granted Jun 1, 2010·4 cites·17 claims
0353US7159201B2Method and apparatus for cut-point frontier selection and for counter-example generation in formal equivalence verificationINTEL CORP·Filed 2004·Granted Jan 2, 2007·4 cites·18 claims
0452US7117465B2Application of the retimed normal form to the formal equivalence verification of abstract RTL descriptions for pipelined designsINTEL CORP·Filed 2003·Granted Oct 3, 2006·4 cites·18 claims

Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →