Or DAVIDI

Follow

Person

Reut, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Method and apparatus for improving Boolean satisfiability solver ge...
- Patent number 10,635,845
- Issue date Apr 28, 2020
- Mellanox Technologies, Ltd.
- Yael Meller
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for automatic engineering change order (ECO) bug fixing in...
- Patent number 10,599,802
- Issue date Mar 24, 2020
- Mellanox Technologies, Ltd.
- Or Davidi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Checking equivalence between changes made in a circuit definition l...
- Patent number 10,460,060
- Issue date Oct 29, 2019
- Mellanox Technologies, Ltd.
- Or Davidi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for finding logic equivalence between register...
- Patent number 10,140,405
- Issue date Nov 27, 2018
- Mellanox Technologies, Ltd.
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Methods for Automatic Engineering Change Order (ECO) Bug Fixing in...
- Publication number 20190384867
- Publication date Dec 19, 2019
- MELLANOX TECHNOLOGIES, LTD.
- Or DAVIDI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR IMPROVING BOOLEAN SATISFIBILITY SOLVER GEN...
- Publication number 20190318056
- Publication date Oct 17, 2019
- MELLANOX TECHNOLOGIES, LTD.
- Yael MELLER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Checking equivalence between changes made in a circuit definition l...
- Publication number 20190163844
- Publication date May 30, 2019
- MELLANOX TECHNOLOGIES, LTD.
- Or Davidi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR FINDING LOGIC EQUIVALENCE BETWEEN REGISTER...
- Publication number 20180181683
- Publication date Jun 28, 2018
- MELLANOX TECHNOLOGIES, LTD.
- Roy ARMONI
- G06 - COMPUTING CALCULATING COUNTING