P

Inventor

YORAV KAREN FRIDA

IL7 patents
⚠️ This page may combine multiple inventors who share the name “YORAV KAREN FRIDA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US7401305B2Jul 15, 2008

Adaptive application of SAT solving techniques

IBM6 citations60
US12418508B2Sep 16, 2025

Inferring cloud network connectivity as a minimal list of firewall rules

IBM0 citations56
US11321792B2May 3, 2022

Enforceable contract generation

IBM0 citations48

KEIDAR-BARNER SHARON

2 patents
US8683441B2Mar 25, 2014

Software equivalence checking

KEIDAR-BARNER SHARON5 citations68
US8453082B2May 28, 2013

Soft error verification in hardware designs

KEIDAR-BARNER SHARON4 citations58

ARBEL ELI

1 patent
US8539403B2Sep 17, 2013

Reducing observability of memory elements in circuits

ARBEL ELI0 citations39

EISNER CYNTHIA RAE

1 patent
US8086972B2Dec 27, 2011

Functional verification of power gated designs by compositional reasoning

EISNER CYNTHIA RAE0 citations36