Inventor · disambiguated record
Cynthia Rae Eisner
Also filed as: EISNER CYNTHIA · EISNER CYNTHIA RAE
12 granted patents·1 pending application·111 citations·filing 2005–2017
89Inventor score
Technology areasG06F
Top patents by PatentIndex Score
13 records- 0189US7594200B2Method for finding multi-cycle clock gatingIBM·Filed 2005·Granted Sep 22, 2009·28 cites·4 claims
- 0288US7458050B1Methods to cluster boolean functions for clock gatingIBM·Filed 2008·Granted Nov 25, 2008·20 cites·1 claims
- 0386US7562325B1Device to cluster Boolean functions for clock gatingIBM·Filed 2008·Granted Jul 14, 2009·17 cites·1 claims
- 0483US7725851B2Device, system and method for formal verificationIBM·Filed 2007·Granted May 25, 2010·15 cites·15 claims
- 0581US7676778B2Circuit design optimization of integrated circuit based clock gated memory elementsIBM·Filed 2007·Granted Mar 9, 2010·12 cites·20 claims
- 0676US8209667B2Software verification using hybrid explicit and symbolic model checkingEISNER CYNTHIA RAE·Filed 2006·Granted Jun 26, 2012·10 cites·21 claims
- 0774US7484187B2Clock-gating through data independent logicIBM·Filed 2005·Granted Jan 27, 2009·8 cites·5 claims
- 0869US10657257B2Feature vector aggregation for malware detectionIBM·Filed 2017·Granted May 19, 2020·1 cites·20 claims
- 0948US8245178B2Method for multi-cycle clock gatingEISNER CYNTHIA RAE·Filed 2009·Granted Aug 14, 2012·0 cites·9 claims
- 1046US8086972B2Functional verification of power gated designs by compositional reasoningEISNER CYNTHIA RAE·Filed 2008·Granted Dec 27, 2011·0 cites·16 claims
- 1146US7853907B2Over approximation of integrated circuit based clock gating logicIBM·Filed 2007·Granted Dec 14, 2010·0 cites·20 claims
- 1242US8539403B2Reducing observability of memory elements in circuitsARBEL ELI·Filed 2011·Granted Sep 17, 2013·0 cites·20 claims
- 1342US2008301604A1Apparatus for and method of estimating the quality of clock gating solutions for integrated circuit designITSKOVICH ALEXANDER·Filed 2007·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →