Assignee
CALYPTO DESIGN SYSTEMS INC
US·14 granted patents·132 citations·filing 2004–2015
Top patents by PatentIndex Score
14 records- 0189US9817929B1Formal verification using microtransactionsCALYPTO DESIGN SYSTEMS INC·Filed 2015·Granted Nov 14, 2017·10 cites·32 claims
- 0287US7350168B1System, method and computer program product for equivalence checking between designs with sequential differencesCALYPTO DESIGN SYSTEMS INC·Filed 2005·Granted Mar 25, 2008·23 cites·26 claims
- 0386US8037443B1System, method, and computer program product for optimizing an altered hardware design utilizing power reportsCALYPTO DESIGN SYSTEMS INC·Filed 2009·Granted Oct 11, 2011·18 cites·18 claims
- 0485US9201994B1Flexible power query interfaces and infrastructuresCALYPTO DESIGN SYSTEMS INC·Filed 2013·Granted Dec 1, 2015·12 cites·22 claims
- 0584US10133557B1Modifying code to reduce redundant or unnecessary power usageCALYPTO DESIGN SYSTEMS INC·Filed 2014·Granted Nov 20, 2018·11 cites·25 claims
- 0680US7284218B1Method and system for inplace symbolic simulation over multiple cycles of a multi-clock domain designCALYPTO DESIGN SYSTEMS INC·Filed 2005·Granted Oct 16, 2007·12 cites·24 claims
- 0778US7761827B1Integrated circuit design system, method, and computer program product that takes into account observability based clock gating conditionsCALYPTO DESIGN SYSTEMS INC·Filed 2007·Granted Jul 20, 2010·10 cites·18 claims
- 0876US7673257B1System, method and computer program product for word-level operator-to-cell mappingCALYPTO DESIGN SYSTEMS INC·Filed 2007·Granted Mar 2, 2010·9 cites·26 claims
- 0970US7966593B1Integrated circuit design system, method, and computer program product that takes into account the stability of various design signalsCALYPTO DESIGN SYSTEMS INC·Filed 2007·Granted Jun 21, 2011·5 cites·23 claims
- 1067US7607115B1System, method and computer program product for timing-independent sequential equivalence verificationCALYPTO DESIGN SYSTEMS INC·Filed 2006·Granted Oct 20, 2009·6 cites·17 claims
- 1161US7287235B1Method of simplifying a circuit for equivalence checkingCALYPTO DESIGN SYSTEMS INC·Filed 2004·Granted Oct 23, 2007·10 cites·9 claims
- 1260US7333032B1System, method and computer program product for word-level computations and storageCALYPTO DESIGN SYSTEMS INC·Filed 2006·Granted Feb 19, 2008·4 cites·29 claims
- 1358US7539956B1System and computer program product for simultaneous cell identification/technology mappingCALYPTO DESIGN SYSTEMS INC·Filed 2006·Granted May 26, 2009·2 cites·15 claims
- 1451US9384167B2Formal verification of booth multipliersCALYPTO DESIGN SYSTEMS INC·Filed 2013·Granted Jul 5, 2016·0 cites·19 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →