Inventor

ARBEL ELI

IL23 patents

⚠️ This page may combine multiple inventors who share the name “ARBEL ELI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ARBEL ELI

IBM

Device to cluster Boolean functions for clock gating

Methods to cluster boolean functions for clock gating

Assuring chip reliability with automatic generation of drivers and assertions

Circuit design optimization of integrated circuit based clock gated memory elements

Template matching for resilience and security characteristics of sub-component chip designs

Logic modification synthesis

Validating inter-partition communication in microservice decomposition

Assuring chip reliability with automatic generation of drivers and assertions

Modifying circuits to prevent redundant switching

Detecting corresponding paths in combinationally equivalent circuit designs

ARBEL ELI

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

Automatic parity checking identification

Circuit design approximation

Clock gating using abstraction refinement

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

Circuit design approximation

SAT-based synthesis of a clock gating function

Approximation of a clock gating function via BDD path elimination

Reducing observability of memory elements in circuits

MICROSOFT TECHNOLOGY LICENSING LLC

Interactive event creation control console

Dynamic multi monitor display and flexible tile display

Dynamic incident console interfaces

In-context event orchestration of physical and cyber resources