Inventor · disambiguated record
Karen Frida Yorav
Also filed as: YORAV KAREN · YORAV KAREN F · YORAV KAREN FRIDA
14 granted patents·3 pending applications·32 citations·filing 2004–2023
88Inventor score
Top patents by PatentIndex Score
17 records- 0183US11195137B2Model-driven and automated system for shared resource solution designIBM·Filed 2017·Granted Dec 7, 2021·3 cites·20 claims
- 0276US8589841B2Automatic parity checking identificationARBEL ELI·Filed 2012·Granted Nov 19, 2013·7 cites·20 claims
- 0373US8683441B2Software equivalence checkingKEIDAR-BARNER SHARON·Filed 2011·Granted Mar 25, 2014·5 cites·20 claims
- 0472US8453082B2Soft error verification in hardware designsKEIDAR-BARNER SHARON·Filed 2010·Granted May 28, 2013·4 cites·23 claims
- 0572US7401305B2Adaptive application of SAT solving techniquesIBM·Filed 2005·Granted Jul 15, 2008·6 cites·9 claims
- 0670US10915436B2System level test generation using DNN translation from unit level testIBM·Filed 2018·Granted Feb 9, 2021·2 cites·17 claims
- 0767US9454382B2Verification of UML state machinesIBM·Filed 2013·Granted Sep 27, 2016·3 cites·17 claims
- 0852US2024396941A1Hierarchical policy assessment and enforcementIBM·Filed 2023·Application pending·0 cites
- 0951US12418508B2Inferring cloud network connectivity as a minimal list of firewall rulesIBM·Filed 2021·Granted Sep 16, 2025·0 cites·12 claims
- 1051US11321792B2Enforceable contract generationIBM·Filed 2020·Granted May 3, 2022·0 cites·20 claims
- 1151US8296256B2SAT-based synthesis of a clock gating functionARBEL ELI·Filed 2009·Granted Oct 23, 2012·0 cites·18 claims
- 1247US8856755B2Dominant-state-based coverage metricIBM·Filed 2013·Granted Oct 7, 2014·0 cites·21 claims
- 1346US8086972B2Functional verification of power gated designs by compositional reasoningEISNER CYNTHIA RAE·Filed 2008·Granted Dec 27, 2011·0 cites·16 claims
- 1446US7225417B2Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit designUNIV CARNEGIE MELLON·Filed 2004·Granted May 29, 2007·2 cites·39 claims
- 1546US2009307204A1Adaptive application of sat solving techniquesSHACHAM OHAD·Filed 2008·Application pending·0 cites
- 1642US8539403B2Reducing observability of memory elements in circuitsARBEL ELI·Filed 2011·Granted Sep 17, 2013·0 cites·20 claims
- 1741US2014214396A1Specification properties creation for a visual model of a systemIBM·Filed 2013·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →