Inventor
EISNER CYNTHIA RAE
IL11 patents
⚠️ This page may combine multiple inventors who share the name “EISNER CYNTHIA RAE”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
7 patentsUS7562325B1Jul 14, 2009
Device to cluster Boolean functions for clock gating
IBM17 citations91
US7458050B1Nov 25, 2008
Methods to cluster boolean functions for clock gating
IBM20 citations91
US7594200B2Sep 22, 2009
Method for finding multi-cycle clock gating
IBM28 citations90
US7725851B2May 25, 2010
Device, system and method for formal verification
IBM15 citations82
US7676778B2Mar 9, 2010
Circuit design optimization of integrated circuit based clock gated memory elements
IBM12 citations82
US7484187B2Jan 27, 2009
Clock-gating through data independent logic
IBM8 citations81
US7853907B2Dec 14, 2010
Over approximation of integrated circuit based clock gating logic
IBM0 citations49
EISNER CYNTHIA RAE
3 patentsUS8209667B2Jun 26, 2012
Software verification using hybrid explicit and symbolic model checking
EISNER CYNTHIA RAE10 citations81
US8245178B2Aug 14, 2012
Method for multi-cycle clock gating
EISNER CYNTHIA RAE0 citations39
US8086972B2Dec 27, 2011
Functional verification of power gated designs by compositional reasoning
EISNER CYNTHIA RAE0 citations36