Ziv Nevo

Person

Yokneam Ilit, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Enforceable contract generation
- Patent number 11,321,792
- Issue date May 3, 2022
- International Business Machines Corporation
- Sima Nadler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hardware verification based on relations between coverage events
- Patent number 10,984,159
- Issue date Apr 20, 2021
- International Business Machines Corporation
- Ziv Nevo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modified design debugging using differential trace back
- Patent number 10,572,624
- Issue date Feb 25, 2020
- International Business Machines Corporation
- Erez Barak
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying sequential equivalence for randomly initialized designs
- Patent number 10,540,469
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Alexander Ivrii
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for testing
- Patent number 9,286,426
- Issue date Mar 15, 2016
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental formal verification
- Patent number 8,996,339
- Issue date Mar 31, 2015
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model checking of liveness property in a phase abstracted model
- Patent number 8,627,273
- Issue date Jan 7, 2014
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detection of design redundancy
- Patent number 8,554,522
- Issue date Oct 8, 2013
- International Business Machines Corporation
- Shaked Flur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of models using concurrent model-reduction and...
- Patent number 8,417,507
- Issue date Apr 9, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model generation based on a constraint and an initial model
- Patent number 8,352,234
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Sharon Keidar Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of models using concurrent model-reduction and...
- Patent number 8,244,516
- Issue date Aug 14, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System for quickly specifying formal verification environments
- Patent number 8,127,261
- Issue date Feb 28, 2012
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Distributed BDD reordering
- Patent number 7,131,085
- Issue date Oct 31, 2006
- International Business Machines Corporation
- Monica Farkash
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
INFERRING CLOUD NETWORK CONNECTIVITY AS A MINIMAL LIST OF FIREWALL...
- Publication number 20230179573
- Publication date Jun 8, 2023
- International Business Machines Corporation
- ADI SOSNOVICH
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
ENFORCEABLE CONTRACT GENERATION
- Publication number 20220067858
- Publication date Mar 3, 2022
- International Business Machines Corporation
- Sima Nadler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODIFIED DESIGN DEBUGGING USING DIFFERENTIAL TRACE BACK
- Publication number 20190332741
- Publication date Oct 31, 2019
- International Business Machines Corporation
- EREZ BARAK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING SEQUENTIAL EQUIVALENCE FOR RANDOMLY INITIALIZED DESIGNS
- Publication number 20190188349
- Publication date Jun 20, 2019
- International Business Machines Corporation
- ALEXANDER IVRII
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR TESTING
- Publication number 20150310154
- Publication date Oct 29, 2015
- International Business Machines Corporation
- Gabor Bobok
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL FORMAL VERIFICATION
- Publication number 20130060545
- Publication date Mar 7, 2013
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Formal Verification of Models Using Concurrent Model-Reduction and...
- Publication number 20120203535
- Publication date Aug 9, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTION OF DESIGN REDUNDANCY
- Publication number 20110144958
- Publication date Jun 16, 2011
- International Business Machines Corporation
- Shaked Flur
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL
- Publication number 20110071809
- Publication date Mar 24, 2011
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL
- Publication number 20110022373
- Publication date Jan 27, 2011
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System for Quickly Specifying Formal Verification Environments
- Publication number 20100185992
- Publication date Jul 22, 2010
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Formal Verification of Models Using Concurrent Model-Reduction and...
- Publication number 20090326886
- Publication date Dec 31, 2009
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simulation System with Guided Backtracking
- Publication number 20080126063
- Publication date May 29, 2008
- Ilan Beer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Distributed BDD reordering
- Publication number 20050229124
- Publication date Oct 13, 2005
- International Business Machines Corporation
- Monica Farkash
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Enforceable contract generation

Hardware verification based on relations between coverage events

Modified design debugging using differential trace back

Verifying sequential equivalence for randomly initialized designs

Method and apparatus for testing

Incremental formal verification

Model checking of liveness property in a phase abstracted model

Detection of design redundancy

Formal verification of models using concurrent model-reduction and...

Model generation based on a constraint and an initial model

Formal verification of models using concurrent model-reduction and...

System for quickly specifying formal verification environments

Distributed BDD reordering

Patents Applicationslast 30 patents

INFERRING CLOUD NETWORK CONNECTIVITY AS A MINIMAL LIST OF FIREWALL...

ENFORCEABLE CONTRACT GENERATION

MODIFIED DESIGN DEBUGGING USING DIFFERENTIAL TRACE BACK

VERIFYING SEQUENTIAL EQUIVALENCE FOR RANDOMLY INITIALIZED DESIGNS

METHOD AND APPARATUS FOR TESTING

INCREMENTAL FORMAL VERIFICATION

Formal Verification of Models Using Concurrent Model-Reduction and...

DETECTION OF DESIGN REDUNDANCY

MODEL GENERATION BASED ON A CONSTRAINT AND AN INITIAL MODEL

MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL

System for Quickly Specifying Formal Verification Environments

Formal Verification of Models Using Concurrent Model-Reduction and...

Simulation System with Guided Backtracking

Distributed BDD reordering