Karen Yorav

Person

Haifa, 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
Model-driven and automated system for shared resource solution design
- Patent number 11,195,137
- Issue date Dec 7, 2021
- International Business Machines Corporation
- Takayuki Kushida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System level test generation using DNN translation from unit level...
- Patent number 10,915,436
- Issue date Feb 9, 2021
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification of UML state machines
- Patent number 9,454,382
- Issue date Sep 27, 2016
- International Business Machines Corporation
- Oshri Adler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dominant-state-based coverage metric
- Patent number 8,856,755
- Issue date Oct 7, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software equivalence checking
- Patent number 8,683,441
- Issue date Mar 25, 2014
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic parity checking identification
- Patent number 8,589,841
- Issue date Nov 19, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing observability of memory elements in circuits
- Patent number 8,539,403
- Issue date Sep 17, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Soft error verification in hardware designs
- Patent number 8,453,082
- Issue date May 28, 2013
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
SAT-based synthesis of a clock gating function
- Patent number 8,296,256
- Issue date Oct 23, 2012
- International Business Machines Corporation
- Eli Arbel
- Y02 - TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMA...
Information Patent Grant
Functional verification of power gated designs by compositional rea...
- Patent number 8,086,972
- Issue date Dec 27, 2011
- International Business Machines Corporation
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive application of SAT solving techniques
- Patent number 7,401,305
- Issue date Jul 15, 2008
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system to verify a circuit design by verifying consisten...
- Patent number 7,225,417
- Issue date May 29, 2007
- Carnegie Mellon University
- Edmund M. Clarke
- 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
SYSTEM LEVEL TEST GENERATION USING DNN TRANSLATION FROM UNIT LEVEL...
- Publication number 20200183816
- Publication date Jun 11, 2020
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL-DRIVEN AND AUTOMATED SYSTEM FOR SHARED RESOURCE SOLUTION DESIGN
- Publication number 20180336503
- Publication date Nov 22, 2018
- International Business Machines Corporation
- Takayuki Kushida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION OF UML STATE MACHINES
- Publication number 20150106781
- Publication date Apr 16, 2015
- International Business Machines Corporation
- Oshri Adler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DOMINANT-STATE-BASED COVERAGE METRIC
- Publication number 20140215445
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Hana Chockler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Specification properties creation for a visual model of a system
- Publication number 20140214396
- Publication date Jul 31, 2014
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC PARITY CHECKING IDENTIFICATION
- Publication number 20130268906
- Publication date Oct 10, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING OBSERVABILITY OF MEMORY ELEMENTS IN CIRCUITS
- Publication number 20130007683
- Publication date Jan 3, 2013
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFT ERROR VERIFICATION IN HARDWARE DESIGNS
- Publication number 20120060064
- Publication date Mar 8, 2012
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE EQUIVALENCE CHECKING
- Publication number 20110138362
- Publication date Jun 9, 2011
- International Business Machines Corporation
- Sharon Keidar-Barner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SAT-BASED SYNTHESIS OF A CLOCK GATING FUNCTION
- Publication number 20110093431
- Publication date Apr 21, 2011
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FUNCTIONAL VERIFICATION OF POWER GATED DESIGNS BY COMPOSITIONAL REA...
- Publication number 20100017764
- Publication date Jan 21, 2010
- Cynthia Rae Eisner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES
- Publication number 20090307204
- Publication date Dec 10, 2009
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Adaptive application of SAT solving techniques
- Publication number 20070011629
- Publication date Jan 11, 2007
- International Business Machines Corporation
- Ohad Shacham
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM TO VERIFY A CIRCUIT DESIGN
- Publication number 20050071147
- Publication date Mar 31, 2005
- Edmund M. Clarke
- G06 - COMPUTING CALCULATING COUNTING

Karen Yorav

Person

Patents Grantslast 30 patents

Enforceable contract generation

Model-driven and automated system for shared resource solution design

System level test generation using DNN translation from unit level...

Verification of UML state machines

Dominant-state-based coverage metric

Software equivalence checking

Automatic parity checking identification

Reducing observability of memory elements in circuits

Soft error verification in hardware designs

SAT-based synthesis of a clock gating function

Functional verification of power gated designs by compositional rea...

Adaptive application of SAT solving techniques

Method and system to verify a circuit design by verifying consisten...

Patents Applicationslast 30 patents

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

ENFORCEABLE CONTRACT GENERATION

SYSTEM LEVEL TEST GENERATION USING DNN TRANSLATION FROM UNIT LEVEL...

MODEL-DRIVEN AND AUTOMATED SYSTEM FOR SHARED RESOURCE SOLUTION DESIGN

VERIFICATION OF UML STATE MACHINES

DOMINANT-STATE-BASED COVERAGE METRIC

Specification properties creation for a visual model of a system

AUTOMATIC PARITY CHECKING IDENTIFICATION

REDUCING OBSERVABILITY OF MEMORY ELEMENTS IN CIRCUITS

SOFT ERROR VERIFICATION IN HARDWARE DESIGNS

SOFTWARE EQUIVALENCE CHECKING

SAT-BASED SYNTHESIS OF A CLOCK GATING FUNCTION

FUNCTIONAL VERIFICATION OF POWER GATED DESIGNS BY COMPOSITIONAL REA...

ADAPTIVE APPLICATION OF SAT SOLVING TECHNIQUES

Adaptive application of SAT solving techniques

METHOD AND SYSTEM TO VERIFY A CIRCUIT DESIGN