PAUL J. ROESSLER

Person

AUSTIN, TX, US

People

Patents Grantslast 30 patents

Information Patent Grant
Enhanced analysis of array-based netlists via phase abstraction
- Patent number 8,566,764
- Issue date Oct 22, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,407,641
- Issue date Mar 26, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification techniques for liveness checking of logic designs
- Patent number 8,352,894
- Issue date Jan 8, 2013
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Logic design verification techniques for liveness checking with ret...
- Patent number 8,255,848
- Issue date Aug 28, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for dynamic automated hint generation for enhance...
- Patent number 8,201,118
- Issue date Jun 12, 2012
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS
- Publication number 20120216159
- Publication date Aug 23, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...
- Publication number 20120192133
- Publication date Jul 26, 2012
- International Buisness Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced Analysis of Array-Based Netlists Via Phase Abstraction
- Publication number 20110271243
- Publication date Nov 3, 2011
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL
- Publication number 20110022373
- Publication date Jan 27, 2011
- International Business Machines Corporation
- Jason Raymond Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...
- Publication number 20110016441
- Publication date Jan 20, 2011
- International Business Machines Corporation
- JASON R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking With Ret...
- Publication number 20100223584
- Publication date Sep 2, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Logic Design Verification Techniques for Liveness Checking
- Publication number 20100218150
- Publication date Aug 26, 2010
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and system for sequential equivalence checking with multiple...
- Publication number 20070220461
- Publication date Sep 20, 2007
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

PAUL J. ROESSLER

Person

Patents Grantslast 30 patents

Enhanced analysis of array-based netlists via phase abstraction

Logic design verification techniques for liveness checking with ret...

Verification techniques for liveness checking of logic designs

Logic design verification techniques for liveness checking with ret...

Method and system for dynamic automated hint generation for enhance...

Patents Applicationslast 30 patents

VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS

LOGIC DESIGN VERIFICATION TECHNIQUES FOR LIVENESS CHECKING WITH RET...

Enhanced Analysis of Array-Based Netlists Via Phase Abstraction

MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL

METHOD AND SYSTEM FOR DYNAMIC AUTOMATED HINT GENERATION FOR ENHANCE...

Logic Design Verification Techniques for Liveness Checking With Ret...

Logic Design Verification Techniques for Liveness Checking

Method and system for sequential equivalence checking with multiple...