Armoni; Roy

Patent Applications and Registrations

Patent applications and USPTO patent grants for Armoni; Roy.The latest application filed is for "methods for automatic engineering change order (eco) bug fixing in integrated circuit design".

Company Profile

3.7.12

Armoni; Roy - Yokneam IL
Armoni; Roy - Givat Ada IL

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Method and apparatus for improving Boolean satisfiability solver generated based on input design with data qualifier signals Grant 10,635,845 - Meller , et al.	2020-04-28
Methods for automatic engineering change order (ECO) bug fixing in integrated circuit design Grant 10,599,802 - Davidi , et al.	2020-03-24
Methods for Automatic Engineering Change Order (ECO) Bug Fixing in Integrated Circuit Design App 20190384867 - Davidi; Or ; et al.	2019-12-19
Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets Grant 10,460,060 - Davidi , et al. Oc	2019-10-29
Method And Apparatus For Improving Boolean Satisfibility Solver Generated Based On Input Design With Data Qualifier Signals App 20190318056 - MELLER; Yael ; et al.	2019-10-17
Checking equivalence between changes made in a circuit definition language and changes in post-synthesis nets App 20190163844 - Davidi; Or ; et al.	2019-05-30
Method and apparatus for finding logic equivalence between register transfer level and post synthesis nets Grant 10,140,405 - Armoni , et al. Nov	2018-11-27
Method And Apparatus For Finding Logic Equivalence Between Register Transfer Level And Post Synthesis Nets App 20180181683 - ARMONI; Roy ; et al.	2018-06-28
Formal verification of temporal properties expressed using local variables Grant 9,390,208 - Armoni , et al. July 12, 2	2016-07-12
Formal Verification of Temporal Properties Expressed Using Local Variables App 20140372967 - Armoni; Roy ; et al.	2014-12-18
Method And Apparatus For Game Physics Concurrent Computations App 20140244972 - ARMONI; Roy ; et al.	2014-08-28
Methods for calculating a combined impact analysis repository Grant 8,700,606 - Cohen , et al. April 15, 2	2014-04-15
Methods For Calculating A Combined Impact Analysis Repository App 20130041886 - Cohen; Yossi ; et al.	2013-02-14
Methods for calculating a combined impact analysis repository Grant 8,321,407 - Cohen , et al. November 27, 2	2012-11-27
Method And Apparatus For Game Physics Concurrent Computations App 20100235608 - ARMONI; Roy ; et al.	2010-09-16
Methods For Calculating A Combined Impact Analysis Repository App 20090216712 - Cohen; Yossi ; et al.	2009-08-27
Methods For Supplying Code Analysis Results By Using User Language App 20080195999 - Cohen; Yossi ; et al.	2008-08-14
System And Methods For Static Analysis Of Large Computer Programs And For Presenting The Results Of The Analysis To A User Of A Computer Program App 20080196012 - COHEN; Yossi ; et al.	2008-08-14
Detecting vacuously satisfield specifications in model checking App 20050278153 - Armoni, Roy ; et al.	2005-12-15

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.