Kukula; James H.

Patent Applications and Registrations

Patent applications and USPTO patent grants for Kukula; James H..The latest application filed is for "integrating a boolean sat solver into a router".

Company Profile

0.7.5

Kukula; James H. - Hillsboro OR
Kukula; James H. - Beaverton OR
Kukula; James H. - Poughkeepsie NY

*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
Integrating a boolean SAT solver into a router Grant 7,904,867 - Burch , et al. March 8, 2	2011-03-08
Phase abstraction for formal verification Grant 7,890,894 - Bjesse , et al. February 15, 2	2011-02-15
Integrating a boolean SAT solver into a router App 20080250376 - Burch; Jerry R. ; et al.	2008-10-09
Phase Abstraction For Formal Verification App 20080134114 - Bjesse; Per ; et al.	2008-06-05
Phase abstraction for formal verification Grant 7,343,575 - Bjesse , et al. March 11, 2	2008-03-11
Latch modeling technique for formal verification Grant 7,254,793 - Chen , et al. August 7, 2	2007-08-07
Method and apparatus for performing generator-based verification Grant 7,149,987 - Zhu , et al. December 12, 2	2006-12-12
Phase abstraction for formal verification App 20060253815 - Bjesse; Per ; et al.	2006-11-09
Latch modeling technique for formal verification App 20060190870 - Chen; Yirng-An ; et al.	2006-08-24
Method and apparatus for performing generator-based verification App 20050198597 - Zhu, Yunshan ; et al.	2005-09-08
Method and system for automata-based approach to state reachability of interacting extended finite state machines Grant 6,059,837 - Kukula , et al. May 9, 2	2000-05-09
Interrupt mechanism for multiprocessing system having a plurality of interrupt lines in both a global bus and cell buses Grant 4,736,319 - DasGupta , et al. April 5, 1	1988-04-05

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.