Inventor · disambiguated record
Eli Arbel
Also filed as: ARBEL ELI
23 granted patents·93 citations·filing 2007–2021
94Inventor score
Top patents by PatentIndex Score
23 records- 0189US10782984B2Interactive event creation control consoleMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Sep 22, 2020·7 cites·20 claims
- 0288US7458050B1Methods to cluster boolean functions for clock gatingIBM·Filed 2008·Granted Nov 25, 2008·20 cites·1 claims
- 0387US9483591B1Assuring chip reliability with automatic generation of drivers and assertionsIBM·Filed 2015·Granted Nov 1, 2016·6 cites·20 claims
- 0486US7562325B1Device to cluster Boolean functions for clock gatingIBM·Filed 2008·Granted Jul 14, 2009·17 cites·1 claims
- 0581US7676778B2Circuit design optimization of integrated circuit based clock gated memory elementsIBM·Filed 2007·Granted Mar 9, 2010·12 cites·20 claims
- 0679US10990419B2Dynamic multi monitor display and flexible tile displayMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Apr 27, 2021·2 cites·20 claims
- 0776US8589841B2Automatic parity checking identificationARBEL ELI·Filed 2012·Granted Nov 19, 2013·7 cites·20 claims
- 0875US8365114B2Logic modification synthesisIBM·Filed 2010·Granted Jan 29, 2013·5 cites·6 claims
- 0969US9600616B1Assuring chip reliability with automatic generation of drivers and assertionsIBM·Filed 2016·Granted Mar 21, 2017·1 cites·20 claims
- 1068US9569582B2Template matching for resilience and security characteristics of sub-component chip designsIBM·Filed 2014·Granted Feb 14, 2017·2 cites·20 claims
- 1168US8713509B2Circuit design approximationARBEL ELI·Filed 2012·Granted Apr 29, 2014·2 cites·17 claims
- 1267US8244516B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2008·Granted Aug 14, 2012·8 cites·14 claims
- 1366US8417507B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2012·Granted Apr 9, 2013·2 cites·18 claims
- 1459US8166444B2Clock gating using abstraction refinementARBEL ELI·Filed 2009·Granted Apr 24, 2012·2 cites·17 claims
- 1557US11157293B2Dynamic incident console interfacesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Oct 26, 2021·0 cites·19 claims
- 1657US10936343B2In-context event orchestration of physical and cyber resourcesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Mar 2, 2021·0 cites·21 claims
- 1751US8296256B2SAT-based synthesis of a clock gating functionARBEL ELI·Filed 2009·Granted Oct 23, 2012·0 cites·18 claims
- 1850US10740516B2Modifying circuits to prevent redundant switchingIBM·Filed 2018·Granted Aug 11, 2020·0 cites·20 claims
- 1948US12253936B2Validating inter-partition communication in microservice decompositionIBM·Filed 2021·Granted Mar 18, 2025·0 cites·16 claims
- 2048US8166426B2Approximation of a clock gating function via BDD path eliminationARBEL ELI·Filed 2008·Granted Apr 24, 2012·0 cites·22 claims
- 2147US8261227B2Circuit design approximationARBEL ELI·Filed 2010·Granted Sep 4, 2012·0 cites·15 claims
- 2244US8949766B2Detecting corresponding paths in combinationally equivalent circuit designsIBM·Filed 2013·Granted Feb 3, 2015·0 cites·18 claims
- 2342US8539403B2Reducing observability of memory elements in circuitsARBEL ELI·Filed 2011·Granted Sep 17, 2013·0 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →