Efrat Gavish

Follow

Person

Hod Hasharon, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for automatically generating executable system-le...
- Patent number 9,690,681
- Issue date Jun 27, 2017
- Cadence Design Systems, Inc.
- Meir Ovadia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generation of a random sub-space of the space of assignments for a...
- Patent number 9,582,458
- Issue date Feb 28, 2017
- Cadence Design Systems, Inc.
- Efrat Gavish
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for constraint solving
- Patent number 9,189,743
- Issue date Nov 17, 2015
- Cadence Design Systems, Inc.
- Marat Teplitsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for abstract software...
- Patent number 8,656,368
- Issue date Feb 18, 2014
- Cadence Design Systems, Inc.
- Meir Ovadia
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for automatically generating executable system...
- Patent number 8,560,893
- Issue date Oct 15, 2013
- Cadence Design Systems, Inc.
- Yoav Hollander
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
GENERATION OF A RANDOM SUB-SPACE OF THE SPACE OF ASSIGNMENTS FOR A...
- Publication number 20140172347
- Publication date Jun 19, 2014
- XILINX INC.
- Efrat GAVISH
- G06 - COMPUTING CALCULATING COUNTING