Inventor · Migdal HaEmek, IL

Eli Arbel

23Patents
6h-index
48Co-inventors
65Inventor score

Filing activity: Jul 4, 2007 → Feb 16, 2021

Most-cited inventions

PatentTitleAreaCited byStatus
US7458050B1 Methods to cluster boolean functions for clock gating Physics 13 Active
US7562325B1 Device to cluster Boolean functions for clock gating Physics 12 Active
US8589841B2 Automatic parity checking identification Physics 7 Active
US8244516B2 Formal verification of models using concurrent model-reduction and model-checking Physics 7 Active
US10782984B2 Interactive event creation control console Physics 6 Active
US7676778B2 Circuit design optimization of integrated circuit based clock gated memory elements Physics 6 Active
US8365114B2 Logic modification synthesis Physics 5 Active
US8713509B2 Circuit design approximation Physics 2 Active
US10990419B2 Dynamic multi monitor display and flexible tile display Physics 2 Active
US8417507B2 Formal verification of models using concurrent model-reduction and model-checking Physics 2 Active
US8166444B2 Clock gating using abstraction refinement Physics 2 Active
US9483591B1 Assuring chip reliability with automatic generation of drivers and assertions Physics 1 Active
US9600616B1 Assuring chip reliability with automatic generation of drivers and assertions Physics 1 Active
US10936343B2 In-context event orchestration of physical and cyber resources Physics 0 Active
US8296256B2 SAT-based synthesis of a clock gating function Emerging Cross-Sectional Technologies 0 Active
US9569582B2 Template matching for resilience and security characteristics of sub-component chip designs Physics 0 Active
US8166426B2 Approximation of a clock gating function via BDD path elimination Physics 0 Active
US8949766B2 Detecting corresponding paths in combinationally equivalent circuit designs Physics 0 Active
US8539403B2 Reducing observability of memory elements in circuits Physics 0 Active
US11157293B2 Dynamic incident console interfaces Physics 0 Active
US12253936B2 Validating inter-partition communication in microservice decomposition Physics 0 Active
US10740516B2 Modifying circuits to prevent redundant switching Physics 0 Active
US8261227B2 Circuit design approximation Physics 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.