Assignee
ARBEL ELI
IL·9 granted patents·21 citations·filing 2008–2012
Top patents by PatentIndex Score
9 records- 0176US8589841B2Automatic parity checking identificationARBEL ELI·Filed 2012·Granted Nov 19, 2013·7 cites·20 claims
- 0268US8713509B2Circuit design approximationARBEL ELI·Filed 2012·Granted Apr 29, 2014·2 cites·17 claims
- 0367US8244516B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2008·Granted Aug 14, 2012·8 cites·14 claims
- 0466US8417507B2Formal verification of models using concurrent model-reduction and model-checkingARBEL ELI·Filed 2012·Granted Apr 9, 2013·2 cites·18 claims
- 0559US8166444B2Clock gating using abstraction refinementARBEL ELI·Filed 2009·Granted Apr 24, 2012·2 cites·17 claims
- 0651US8296256B2SAT-based synthesis of a clock gating functionARBEL ELI·Filed 2009·Granted Oct 23, 2012·0 cites·18 claims
- 0748US8166426B2Approximation of a clock gating function via BDD path eliminationARBEL ELI·Filed 2008·Granted Apr 24, 2012·0 cites·22 claims
- 0847US8261227B2Circuit design approximationARBEL ELI·Filed 2010·Granted Sep 4, 2012·0 cites·15 claims
- 0942US8539403B2Reducing observability of memory elements in circuitsARBEL ELI·Filed 2011·Granted Sep 17, 2013·0 cites·20 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →