loadpatents
Patent applications and USPTO patent grants for Nevo; Ziv.The latest application filed is for "enforceable contract generation".
Patent | Date |
---|---|
Enforceable contract generation Grant 11,321,792 - Nadler , et al. May 3, 2 | 2022-05-03 |
Enforceable Contract Generation App 20220067858 - Nadler; Sima ;   et al. | 2022-03-03 |
Hardware verification based on relations between coverage events Grant 10,984,159 - Nevo , et al. April 20, 2 | 2021-04-20 |
Modified design debugging using differential trace back Grant 10,572,624 - Barak , et al. Feb | 2020-02-25 |
Verifying sequential equivalence for randomly initialized designs Grant 10,540,469 - Ivrii , et al. Ja | 2020-01-21 |
Modified Design Debugging Using Differential Trace Back App 20190332741 - BARAK; EREZ ;   et al. | 2019-10-31 |
Verifying Sequential Equivalence For Randomly Initialized Designs App 20190188349 - IVRII; ALEXANDER ;   et al. | 2019-06-20 |
Projecting An Image On An Irregularly Shaped Display Surface App 20170150110 - Nevo; Ziv ;   et al. | 2017-05-25 |
Method and apparatus for testing Grant 9,286,426 - Bobok , et al. March 15, 2 | 2016-03-15 |
Method And Apparatus For Testing App 20150310154 - Bobok; Gabor ;   et al. | 2015-10-29 |
Incremental formal verification Grant 8,996,339 - Chockler , et al. March 31, 2 | 2015-03-31 |
Model checking of liveness property in a phase abstracted model Grant 8,627,273 - Baumgartner , et al. January 7, 2 | 2014-01-07 |
Detection of design redundancy Grant 8,554,522 - Flur , et al. October 8, 2 | 2013-10-08 |
Formal verification of models using concurrent model-reduction and model-checking Grant 8,417,507 - Arbel , et al. April 9, 2 | 2013-04-09 |
Incremental Formal Verification App 20130060545 - Chockler; Hana ;   et al. | 2013-03-07 |
Model generation based on a constraint and an initial model Grant 8,352,234 - Keidar Barner , et al. January 8, 2 | 2013-01-08 |
Formal verification of models using concurrent model-reduction and model-checking Grant 8,244,516 - Arbel , et al. August 14, 2 | 2012-08-14 |
Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking App 20120203535 - Arbel; Eli ;   et al. | 2012-08-09 |
System for quickly specifying formal verification environments Grant 8,127,261 - Auerbach , et al. February 28, 2 | 2012-02-28 |
Detection Of Design Redundancy App 20110144958 - Flur; Shaked ;   et al. | 2011-06-16 |
Model Generation Based On A Constraint And An Initial Model App 20110071809 - Keidar-Barner; Sharon ;   et al. | 2011-03-24 |
Model Checking Of Liveness Property In A Phase Abstracted Model App 20110022373 - Baumgartner; Jason Raymond ;   et al. | 2011-01-27 |
System for Quickly Specifying Formal Verification Environments App 20100185992 - Auerbach; Gadiel ;   et al. | 2010-07-22 |
Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking App 20090326886 - Arbel; Eli ;   et al. | 2009-12-31 |
Portable communication device with detachable wireless headset App 20080132168 - Segev; Gil ;   et al. | 2008-06-05 |
Simulation System with Guided Backtracking App 20080126063 - Beer; Ilan ;   et al. | 2008-05-29 |
Distributed BDD reordering Grant 7,131,085 - Farkash , et al. October 31, 2 | 2006-10-31 |
Distributed BDD reordering App 20050229124 - Farkash, Monica ;   et al. | 2005-10-13 |
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.