Pixley; Carl Preston

Patent Applications and Registrations

Patent applications and USPTO patent grants for Pixley; Carl Preston.The latest application filed is for "elimination of illegal states within equivalence checking".

Company Profile

0.12.5

Pixley; Carl Preston - Beaverton OR

*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
Elimination of illegal states within equivalence checking Grant 9,501,597 - Jain , et al. November 22, 2	2016-11-22
Elimination Of Illegal States Within Equivalence Checking App 20160012167 - Jain; Himanshu ; et al.	2016-01-14
Equivalence checking using structural analysis on data flow graphs Grant 8,914,758 - Kundu , et al. December 16, 2	2014-12-16
Equivalence Checking Using Structural Analysis On Data Flow Graphs App 20140359545 - Kundu; Sudipta ; et al.	2014-12-04
Formally checking equivalence using equivalence relationships Grant 8,589,836 - Koelbl , et al. November 19, 2	2013-11-19
Method and apparatus for performing formal verification using data-flow graphs Grant 8,079,000 - Koelbl , et al. December 13, 2	2011-12-13
Method and apparatus for formally checking equivalence using equivalence relationships Grant 8,001,500 - Koelbl , et al. August 16, 2	2011-08-16
Method and apparatus for production of data-flow-graphs by symbolic simulation Grant 7,523,423 - Koelbl , et al. April 21, 2	2009-04-21
Method and apparatus for performing formal verification using data-flow graphs Grant 7,509,599 - Koelbl , et al. March 24, 2	2009-03-24
Method and apparatus for formally comparing stream-based designs Grant 7,509,604 - Koelbl , et al. March 24, 2	2009-03-24
Method And Apparatus For Performing Formal Verification Using Data-flow Graphs App 20080301602 - Koelbl; Alfred ; et al.	2008-12-04
Method And Apparatus For Formally Checking Equivalence Using Equivalence Relationships App 20080235253 - Koelbl; Alfred ; et al.	2008-09-25
Method And Apparatus For Formally Checking Equivalence Using Equivalence Relationships App 20080208559 - Koelbl; Alfred ; et al.	2008-08-28
Method and apparatus for formally checking equivalence using equivalence relationships Grant 7,386,820 - Koelbl , et al. June 10, 2	2008-06-10
Method and apparatus for initial state extraction Grant 7,260,800 - Koelbl , et al. August 21, 2	2007-08-21
Method and apparatus for solving constraints Grant 7,107,553 - Lockyear , et al. September 12, 2	2006-09-12

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.