P

Inventor

YORAV KAREN

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

IBM

3 patents
US10915436B2Feb 9, 2021

System level test generation using DNN translation from unit level test

IBM2 citations70
US9454382B2Sep 27, 2016

Verification of UML state machines

IBM3 citations67
US8856755B2Oct 7, 2014

Dominant-state-based coverage metric

IBM0 citations49

ARBEL ELI

2 patents
US8589841B2Nov 19, 2013

Automatic parity checking identification

ARBEL ELI7 citations76
US8296256B2Oct 23, 2012

SAT-based synthesis of a clock gating function

ARBEL ELI0 citations49

UNIV CARNEGIE MELLON

1 patent
US7225417B2May 29, 2007

Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design

UNIV CARNEGIE MELLON2 citations56