Assignee
EISNER CYNTHIA RAE
IL·3 granted patents·10 citations·filing 2006–2009
Technology mixG06F3
Top patents by PatentIndex Score
3 records- 0176US8209667B2Software verification using hybrid explicit and symbolic model checkingEISNER CYNTHIA RAE·Filed 2006·Granted Jun 26, 2012·10 cites·21 claims
- 0248US8245178B2Method for multi-cycle clock gatingEISNER CYNTHIA RAE·Filed 2009·Granted Aug 14, 2012·0 cites·9 claims
- 0346US8086972B2Functional verification of power gated designs by compositional reasoningEISNER CYNTHIA RAE·Filed 2008·Granted Dec 27, 2011·0 cites·16 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →