Inventor · disambiguated record
Roy Armoni
Also filed as: ARMONI ROY
7 granted patents·5 pending applications·3 citations·filing 2004–2018
71Inventor score
Top patents by PatentIndex Score
12 records- 0159US8321407B2Methods for calculating a combined impact analysis repositoryCOHEN YOSSI·Filed 2009·Granted Nov 27, 2012·1 cites·5 claims
- 0258US9390208B2Formal verification of temporal properties expressed using local variablesSYNOPSYS INC·Filed 2013·Granted Jul 12, 2016·2 cites·17 claims
- 0352US8700606B2Methods for calculating a combined impact analysis repositoryPANAYA LTD·Filed 2012·Granted Apr 15, 2014·0 cites·9 claims
- 0450US2008196012A1System and methods for static analysis of large computer programs and for presenting the results of the analysis to a user of a computer programPANAYA LTD·Filed 2007·Application pending·0 cites
- 0550US2008195999A1Methods for supplying code analysis results by using user languagePANAYA INC·Filed 2007·Application pending·0 cites
- 0649US2014244972A1Method and apparatus for game physics concurrent computationsAISEEK LTD·Filed 2013·Application pending·0 cites
- 0743US10599802B2Methods for automatic engineering change order (ECO) bug fixing in integrated circuit designMELLANOX TECHNOLOGIES LTD·Filed 2018·Granted Mar 24, 2020·0 cites·12 claims
- 0840US2005278153A1Detecting vacuously satisfield specifications in model checkingARMONI ROY·Filed 2004·Application pending·0 cites
- 0939US2010235608A1Method and apparatus for game physics concurrent computationsAISEEK LTD·Filed 2010·Application pending·0 cites
- 1035US10635845B2Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signalsMELLANOX TECHNOLOGIES LTD·Filed 2018·Granted Apr 28, 2020·0 cites·15 claims
- 1135US10460060B2Checking equivalence between changes made in a circuit definition language and changes in post-synthesis netsMELLANOX TECHNOLOGIES LTD·Filed 2017·Granted Oct 29, 2019·0 cites·13 claims
- 1233US10140405B2Method and apparatus for finding logic equivalence between register transfer level and post synthesis netsMELLANOX TECHNOLOGIES LTD·Filed 2016·Granted Nov 27, 2018·0 cites·15 claims
Join the waitlist — get patent alerts
Get an alert when Roy Armoni files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →