Membership
Tour
Register
Log in
Cindy Eisner
Follow
Person
Zichron Yaakov, IL
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Feature vector aggregation for malware detection
Patent number
10,657,257
Issue date
May 19, 2020
International Business Machines Corporation
Fady Copty
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
Method for multi-cycle clock gating
Patent number
8,245,178
Issue date
Aug 14, 2012
International Business Machines Corporation
Cynthia Rae Eisner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Software verification using hybrid explicit and symbolic model chec...
Patent number
8,209,667
Issue date
Jun 26, 2012
International Business Machines Corporation
Cynthia Rae Eisner
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
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
Over approximation of integrated circuit based clock gating logic
Patent number
7,853,907
Issue date
Dec 14, 2010
International Business Machines Corporation
Israel Berger
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Device, system and method for formal verification
Patent number
7,725,851
Issue date
May 25, 2010
International Business Machines Corporation
Cynthia Rae Eisner
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
Method for finding multi-cycle clock gating
Patent number
7,594,200
Issue date
Sep 22, 2009
International Business Machines Corporation
Cynthia Rae Eisner
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
Clock-gating through data independent logic
Patent number
7,484,187
Issue date
Jan 27, 2009
International Business Machines Corporation
Cynthia Rae Eisner
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
Information
Patent Grant
Automatic abstraction of software source
Patent number
7,146,605
Issue date
Dec 5, 2006
International Business Machines Corporation
Ilan Beer
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method and system for reducing state space variables prior to symbo...
Patent number
6,192,505
Issue date
Feb 20, 2001
International Business Machines Corporation
Ilan Beer
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
FEATURE VECTOR AGGREGATION FOR MALWARE DETECTION
Publication number
20190171816
Publication date
Jun 6, 2019
International Business Machines Corporation
Fady Copty
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
METHOD FOR MULTI-CYCLE CLOCK GATING
Publication number
20110010679
Publication date
Jan 13, 2011
Cynthia Rae Eisner
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
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
Device, System and Method for Formal Verification
Publication number
20090064064
Publication date
Mar 5, 2009
Cynthia Rae Eisner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
OVER APPROXIMATION OF INTEGRATED CIRCUIT BASED CLOCK GATING LOGIC
Publication number
20090044154
Publication date
Feb 12, 2009
Israel Berger
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
Information
Patent Application
APPARATUS FOR AND METHOD OF ESTIMATING THE QUALITY OF CLOCK GATING...
Publication number
20080301604
Publication date
Dec 4, 2008
Alexander Itskovich
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Software verification using hybrid explicit and symbolic model chec...
Publication number
20070168988
Publication date
Jul 19, 2007
International Business Machines Corporation
Cynthia Rae Eisner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Method for multi-cycle clock gating
Publication number
20070157130
Publication date
Jul 5, 2007
International Business Machines Corporation
Cynthia Rae Eisner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Clock-gating through data independent logic
Publication number
20070130549
Publication date
Jun 7, 2007
International Business Machines Corporation
Cynthia Rae Eisner
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Automatic abstraction of software source
Publication number
20020144236
Publication date
Oct 3, 2002
International Business Machines Corporation
Ilan Beer
G06 - COMPUTING CALCULATING COUNTING