Inventor · disambiguated record
Paul Joseph Roessler
Also filed as: ROESSLER PAUL · ROESSLER PAUL J · ROESSLER PAUL JOSEPH
6 granted patents·2 pending applications·21 citations·filing 2006–2012
78Inventor score
Technology areasG06F
Top patents by PatentIndex Score
8 records- 0177US8352894B2Verification techniques for liveness checking of logic designsIBM·Filed 2012·Granted Jan 8, 2013·4 cites·20 claims
- 0276US8255848B2Logic design verification techniques for liveness checking with retimingBAUMGARTNER JASON R·Filed 2009·Granted Aug 28, 2012·7 cites·13 claims
- 0370US8566764B2Enhanced analysis of array-based netlists via phase abstractionBAUMGARTNER JASON R·Filed 2010·Granted Oct 22, 2013·3 cites·20 claims
- 0462US8407641B2Logic design verification techniques for liveness checking with retimingBAUMGARTNER JASON R·Filed 2012·Granted Mar 26, 2013·1 cites·13 claims
- 0561US8201118B2Method and system for dynamic automated hint generation for enhanced reachability analysisBAUMGARTNER JASON R·Filed 2009·Granted Jun 12, 2012·2 cites·15 claims
- 0660US8627273B2Model checking of liveness property in a phase abstracted modelBAUMGARTNER JASON RAYMOND·Filed 2009·Granted Jan 7, 2014·4 cites·20 claims
- 0753US2010218150A1Logic Design Verification Techniques for Liveness CheckingIBM·Filed 2009·Application pending·0 cites
- 0843US2007220461A1Method and system for sequential equivalence checking with multiple initial statesBAUMGARTNER JASON R·Filed 2006·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →