Geist; Daniel

Patent Applications and Registrations

Patent applications and USPTO patent grants for Geist; Daniel.The latest application filed is for "incrementally distributing logical wires onto physical sockets by reducing critical path delay".

Company Profile

1.13.10

Geist; Daniel - Herzliya IL
Geist; Daniel - Haifa IL
Geist; Daniel - Boxborough MA

*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 system for emulation clock tree reduction Grant 11,176,293 - Korchemny , et al. November 16, 2	2021-11-16
Speeding matching search of hierarchical name structures Grant 11,106,663 - Kudryavtsev , et al. August 31, 2	2021-08-31
Adding delay elements to enable mapping a time division multiplexing circuit on an FPGA of a hardware emulator Grant 10,796,048 - Azuelos , et al. October 6, 2	2020-10-06
Incrementally distributing logical wires onto physical sockets by reducing critical path delay Grant 10,628,625 - Geist , et al.	2020-04-21
Incrementally Distributing Logical Wires Onto Physical Sockets By Reducing Critical Path Delay App 20170293708 - Geist; Daniel ; et al.	2017-10-12
Method and apparatus for debugging programs Grant 9,645,913 - Geist May 9, 2	2017-05-09
Satisfiability (SAT) based bounded model checkers Grant 8,489,380 - Geist , et al. July 16, 2	2013-07-16
Method And Apparatus For Debugging Programs App 20130036403 - GEIST; Daniel	2013-02-07
Utilizing Temporal Assertions In A Debugger App 20120278791 - Geist; Daniel	2012-11-01
Satisfiability (SAT) based bounded model checkers Grant 8,108,195 - Geist , et al. January 31, 2	2012-01-31
Satisfiability (SAT) Based Bounded Model Checkers App 20110213605 - Geist; Daniel ; et al.	2011-09-01
Satisfiability (sat) Based Bounded Model Checkers App 20100324881 - Geist; Daniel ; et al.	2010-12-23
Satisfiability (SAT) based bounded model checkers Grant 7,835,898 - Geist , et al. November 16, 2	2010-11-16
Simulation System with Guided Backtracking App 20080126063 - Beer; Ilan ; et al.	2008-05-29
Method and system for integrating test coverage measurements with model based test generation Grant 7,272,752 - Farchi , et al. September 18, 2	2007-09-18
Satisfiability (SAT) based bounded model checkers App 20070118340 - Geist; Daniel ; et al.	2007-05-24
Leak detection system with wireless remote unit App 20070000310 - Yamartino; Stephen J. ; et al.	2007-01-04
Identification of missing properties in model checking Grant 7,120,568 - Geist , et al. October 10, 2	2006-10-10
Synchronization using bus arbitration control for system analysis Grant 6,629,174 - Farkas , et al. September 30, 2	2003-09-30
Method and system for integrating test coverage measurements with model based test generation App 20030046613 - Farchi, Eitan ; et al.	2003-03-06

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.