For the Inventor, By the Inventor

Enter inventor name

Austin, TX, United States of America

Paul Joseph Roessler

USPTO Granted Patents = 6 (Patent Applications = 1)

Average Co-Inventor Count = 4.0

ph-index = 3

Forward Citations = 17(Granted Patents)

Location History:

Austin, TX (US) (2012 - 2013)
Haifa, IL (2014)

Company Filing History:

6 out of 164,108

International Business Machines Corporation

Years Active: 2012-2014

Loading Chart...

6 patents (USPTO):Sort by Forward Citations

Abstract keywords

1. 8627273 - Model checking of liveness property in a phase abstracted model (2014-01-07),

2. 8566764 - Enhanced analysis of array-based netlists via phase abstraction (2013-10-22),

3. 8407641 - Logic design verification techniques for liveness checking with retiming (2013-03-26),

4. 8352894 - Verification techniques for liveness checking of logic designs (2013-01-08),

5. 8255848 - Logic design verification techniques for liveness checking with retiming (2012-08-28),

6. 8201118 - Method and system for dynamic automated hint generation for enhanced reachability analysis (2012-06-12),

This text is generated by artificial intelligence and may not be accurate.

Please report any incorrect information to support@idiyas.com

Loading…