Koelbl; Alfred

Patent Applications and Registrations

Patent applications and USPTO patent grants for Koelbl; Alfred.The latest application filed is for "scalable formal security verification of circuit designs".

Company Profile

1.13.8

Koelbl; Alfred - Hillsboro OR
Koelbl; Alfred - Dachau DE

*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
Scalable Formal Security Verification Of Circuit Designs App 20210064790 - Koelbl; Alfred ; et al.	2021-03-04
Efficient mechanism of fault qualification using formal verification Grant 10,592,624 - Jana , et al.	2020-03-17
Efficient Mechanism Of Fault Qualification Using Formal Verification App 20180349521 - Jana; Sandeep ; et al.	2018-12-06
Formally checking equivalence using equivalence relationships Grant 8,589,836 - Koelbl , et al. November 19, 2	2013-11-19
Formal equivalence checking between two models of a circuit design using checkpoints Grant 8,201,119 - Koelbl June 12, 2	2012-06-12
Method and apparatus for performing formal verification using data-flow graphs Grant 8,079,000 - Koelbl , et al. December 13, 2	2011-12-13
Formal Equivalence Checking Between Two Models Of A Circuit Design Using Checkpoints App 20110276934 - Koelbl; Alfred	2011-11-10
Method and apparatus for formally checking equivalence using equivalence relationships Grant 8,001,500 - Koelbl , et al. August 16, 2	2011-08-16
Formally proving the functional equivalence of pipelined designs containing memories Grant 7,836,414 - Koelbl , et al. November 16, 2	2010-11-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
Formally Proving The Functional Equivalence Of Pipelined Designs Containing Memories App 20080209370 - Koelbl; Alfred ; et al.	2008-08-28
Formally proving the functional equivalence of pipelined designs containing memories Grant 7,389,479 - Koelbl , et al. June 17, 2	2008-06-17
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
Formally proving the functional equivalence of pipelined designs containing memories App 20070143717 - Koelbl; Alfred ; et al.	2007-06-21

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.