Eli Arbel

Person

Migdal Haemek, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Modifying circuits to prevent redundant switching
- Patent number 10,740,516
- Issue date Aug 11, 2020
- International Business Machines Corporation
- Giora Biran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assuring chip reliability with automatic generation of drivers and...
- Patent number 9,600,616
- Issue date Mar 21, 2017
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Template matching for resilience and security characteristics of su...
- Patent number 9,569,582
- Issue date Feb 14, 2017
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Assuring chip reliability with automatic generation of drivers and...
- Patent number 9,483,591
- Issue date Nov 1, 2016
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting corresponding paths in combinationally equivalent circuit...
- Patent number 8,949,766
- Issue date Feb 3, 2015
- International Business Machines Corporation
- Oshri Adler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design approximation
- Patent number 8,713,509
- Issue date Apr 29, 2014
- International Business Machines Corporation
- Eli Arbel
- 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
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
Logic modification synthesis
- Patent number 8,365,114
- Issue date Jan 29, 2013
- International Business Machines Corporation
- Eli Arbel
- 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
Circuit design approximation
- Patent number 8,261,227
- Issue date Sep 4, 2012
- International Business Machines Corporation
- Eli Arbel
- 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
Approximation of a clock gating function via BDD path elimination
- Patent number 8,166,426
- Issue date Apr 24, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Clock gating using abstraction refinement
- Patent number 8,166,444
- Issue date Apr 24, 2012
- International Business Machines Corporations
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit design optimization of integrated circuit based clock gated...
- Patent number 7,676,778
- Issue date Mar 9, 2010
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Device to cluster Boolean functions for clock gating
- Patent number 7,562,325
- Issue date Jul 14, 2009
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods to cluster boolean functions for clock gating
- Patent number 7,458,050
- Issue date Nov 25, 2008
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VALIDATING INTER-PARTITION COMMUNICATION IN MICROSERVICE DECOMPOSITION
- Publication number 20220261337
- Publication date Aug 18, 2022
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODIFYING CIRCUITS TO PREVENT REDUNDANT SWITCHING
- Publication number 20190340312
- Publication date Nov 7, 2019
- International Business Machines Corporation
- Giora Biran
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Template Matching for Resilience and Security Characteristics of Su...
- Publication number 20160154921
- Publication date Jun 2, 2016
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING CORRESPONDING PATHS IN COMBINATIONALLY EQUIVALENT CIRCUIT...
- Publication number 20140331199
- Publication date Nov 6, 2014
- International Business Machines Corporation
- Oshri Adler
- 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
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
CIRCUIT DESIGN APPROXIMATION
- Publication number 20120192130
- Publication date Jul 26, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CIRCUIT DESIGN APPROXIMATION
- Publication number 20120144352
- Publication date Jun 7, 2012
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOGIC MODIFICATION SYNTHESIS
- Publication number 20120054698
- Publication date Mar 1, 2012
- International Business Machines Corporation
- Eli Arbel
- 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
CLOCK GATING USING ABSTRACTION REFINEMENT
- Publication number 20100325596
- Publication date Dec 23, 2010
- International Business Machines Corporation
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPROXIMATION OF A CLOCK GATING FUNCTION VIA BDD PATH ELIMINATION
- Publication number 20100042569
- Publication date Feb 18, 2010
- International Business Machines Corporation
- Eli Arbel
- 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
CIRCUIT DESIGN OPTIMIZATION OF INTEGRATED CIRCUIT BASED CLOCK GATED...
- Publication number 20090013289
- Publication date Jan 8, 2009
- Eli Arbel
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Modifying circuits to prevent redundant switching

Assuring chip reliability with automatic generation of drivers and...

Template matching for resilience and security characteristics of su...

Assuring chip reliability with automatic generation of drivers and...

Detecting corresponding paths in combinationally equivalent circuit...

Circuit design approximation

Automatic parity checking identification

Reducing observability of memory elements in circuits

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

Logic modification synthesis

SAT-based synthesis of a clock gating function

Circuit design approximation

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

Approximation of a clock gating function via BDD path elimination

Clock gating using abstraction refinement

Circuit design optimization of integrated circuit based clock gated...

Device to cluster Boolean functions for clock gating

Methods to cluster boolean functions for clock gating

Patents Applicationslast 30 patents

VALIDATING INTER-PARTITION COMMUNICATION IN MICROSERVICE DECOMPOSITION

MODIFYING CIRCUITS TO PREVENT REDUNDANT SWITCHING

Template Matching for Resilience and Security Characteristics of Su...

DETECTING CORRESPONDING PATHS IN COMBINATIONALLY EQUIVALENT CIRCUIT...

AUTOMATIC PARITY CHECKING IDENTIFICATION

REDUCING OBSERVABILITY OF MEMORY ELEMENTS IN CIRCUITS

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

CIRCUIT DESIGN APPROXIMATION

CIRCUIT DESIGN APPROXIMATION

LOGIC MODIFICATION SYNTHESIS

SAT-BASED SYNTHESIS OF A CLOCK GATING FUNCTION

CLOCK GATING USING ABSTRACTION REFINEMENT

APPROXIMATION OF A CLOCK GATING FUNCTION VIA BDD PATH ELIMINATION

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

CIRCUIT DESIGN OPTIMIZATION OF INTEGRATED CIRCUIT BASED CLOCK GATED...