Roy Armoni

Person

Givat Ada, 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
Information Patent Grant
Formal verification of temporal properties expressed using local va...
- Patent number 9,390,208
- Issue date Jul 12, 2016
- Synopsys, Inc.
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for calculating a combined impact analysis repository
- Patent number 8,700,606
- Issue date Apr 15, 2014
- Panaya Ltd.
- Yossi Cohen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for calculating a combined impact analysis repository
- Patent number 8,321,407
- Issue date Nov 27, 2012
- Panaya Ltd.
- Yossi Cohen
- 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
Information Patent Application
Formal Verification of Temporal Properties Expressed Using Local Va...
- Publication number 20140372967
- Publication date Dec 18, 2014
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR GAME PHYSICS CONCURRENT COMPUTATIONS
- Publication number 20140244972
- Publication date Aug 28, 2014
- AiSeek Ltd.
- Roy ARMONI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR CALCULATING A COMBINED IMPACT ANALYSIS REPOSITORY
- Publication number 20130041886
- Publication date Feb 14, 2013
- PANAYA LTD.
- Yossi Cohen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR GAME PHYSICS CONCURRENT COMPUTATIONS
- Publication number 20100235608
- Publication date Sep 16, 2010
- AiSeek Ltd.
- Roy ARMONI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR CALCULATING A COMBINED IMPACT ANALYSIS REPOSITORY
- Publication number 20090216712
- Publication date Aug 27, 2009
- Panaya Inc.
- Yossi Cohen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHODS FOR STATIC ANALYSIS OF LARGE COMPUTER PROGRAMS A...
- Publication number 20080196012
- Publication date Aug 14, 2008
- PANAYA LTD.
- Yossi COHEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR SUPPLYING CODE ANALYSIS RESULTS BY USING USER LANGUAGE
- Publication number 20080195999
- Publication date Aug 14, 2008
- Panaya Inc.
- Yossi Cohen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Detecting vacuously satisfield specifications in model checking
- Publication number 20050278153
- Publication date Dec 15, 2005
- Roy Armoni
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Method and apparatus for improving Boolean satisfiability solver ge...

Methods for automatic engineering change order (ECO) bug fixing in...

Checking equivalence between changes made in a circuit definition l...

Method and apparatus for finding logic equivalence between register...

Formal verification of temporal properties expressed using local va...

Methods for calculating a combined impact analysis repository

Methods for calculating a combined impact analysis repository

Patents Applicationslast 30 patents

Methods for Automatic Engineering Change Order (ECO) Bug Fixing in...

METHOD AND APPARATUS FOR IMPROVING BOOLEAN SATISFIBILITY SOLVER GEN...

Checking equivalence between changes made in a circuit definition l...

METHOD AND APPARATUS FOR FINDING LOGIC EQUIVALENCE BETWEEN REGISTER...

Formal Verification of Temporal Properties Expressed Using Local Va...

METHOD AND APPARATUS FOR GAME PHYSICS CONCURRENT COMPUTATIONS

METHODS FOR CALCULATING A COMBINED IMPACT ANALYSIS REPOSITORY

METHOD AND APPARATUS FOR GAME PHYSICS CONCURRENT COMPUTATIONS

METHODS FOR CALCULATING A COMBINED IMPACT ANALYSIS REPOSITORY

SYSTEM AND METHODS FOR STATIC ANALYSIS OF LARGE COMPUTER PROGRAMS A...

METHODS FOR SUPPLYING CODE ANALYSIS RESULTS BY USING USER LANGUAGE

Detecting vacuously satisfield specifications in model checking