Raj K. Gajavelly

Person

Warangal, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Scalable connectivity verification using conditional cut-points
- Patent number 10,970,454
- Issue date Apr 6, 2021
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Initial-state and next-state value folding
- Patent number 10,621,297
- Issue date Apr 14, 2020
- International Business Machines Coporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable connectivity verification using conditional cut-points
- Patent number 10,579,770
- Issue date Mar 3, 2020
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verification complexity reduction via range-preserving input-to-con...
- Patent number 10,540,468
- Issue date Jan 21, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable liveness verification
- Patent number 10,474,777
- Issue date Nov 12, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive bug-search depth for simple and deep counterexamples
- Patent number 10,394,987
- Issue date Aug 27, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Adaptive bug-search depth for simple and deep counterexamples
- Patent number 10,210,296
- Issue date Feb 19, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 10,078,716
- Issue date Sep 18, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated circuit design verification
- Patent number 10,073,938
- Issue date Sep 11, 2018
- International Business Machines Corporation
- Anand B. Arunagiri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Delayed equivalence identification
- Patent number 9,934,873
- Issue date Apr 3, 2018
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G11 - INFORMATION STORAGE
Information Patent Grant
Scalable logic verification by identifying unate primary inputs
- Patent number 9,922,153
- Issue date Mar 20, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,740,589
- Issue date Aug 22, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable and automated identification of unobservability causality...
- Patent number 9,715,564
- Issue date Jul 25, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lifting of bounded liveness counterexamples to concrete liveness co...
- Patent number 9,678,853
- Issue date Jun 13, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for scalable liveness verification via abstraction refinement
- Patent number 9,483,595
- Issue date Nov 1, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and program product for scalable liveness verification via a...
- Patent number 9,471,734
- Issue date Oct 18, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
- Publication number 20240386172
- Publication date Nov 21, 2024
- International Business Machines Corporation
- Jason Raymond BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
- Publication number 20240386173
- Publication date Nov 21, 2024
- International Business Machines Corporation
- Jason Raymond BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
- Publication number 20200143101
- Publication date May 7, 2020
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INITIAL-STATE AND NEXT-STATE VALUE FOLDING
- Publication number 20200104434
- Publication date Apr 2, 2020
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...
- Publication number 20200019653
- Publication date Jan 16, 2020
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS
- Publication number 20190286782
- Publication date Sep 19, 2019
- International Business Machines Corporation
- Pradeep Kumar Nalla
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION
- Publication number 20190138664
- Publication date May 9, 2019
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES
- Publication number 20180276318
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES
- Publication number 20180276317
- Publication date Sep 27, 2018
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED CIRCUIT DESIGN VERIFICATION
- Publication number 20180004879
- Publication date Jan 4, 2018
- International Business Machines Corporation
- Anand B. Arunagiri
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DELAYED EQUIVALENCE IDENTIFICATION
- Publication number 20170365362
- Publication date Dec 21, 2017
- International Business Machines Corporation
- Raj Kumar Gajavelly
- G11 - INFORMATION STORAGE
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323043
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS
- Publication number 20170323044
- Publication date Nov 9, 2017
- International Business Machines Corporation
- Jason R. BAUMGARTNER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE AND AUTOMATED IDENTIFICATION OF UNOBSERVABILITY CAUSALITY...
- Publication number 20170124240
- Publication date May 4, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010949
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...
- Publication number 20170010950
- Publication date Jan 12, 2017
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT
- Publication number 20160210389
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT
- Publication number 20160210388
- Publication date Jul 21, 2016
- International Business Machines Corporation
- Jason R. Baumgartner
- G06 - COMPUTING CALCULATING COUNTING

Raj K. Gajavelly

Person

Patents Grantslast 30 patents

Scalable connectivity verification using conditional cut-points

Initial-state and next-state value folding

Scalable connectivity verification using conditional cut-points

Verification complexity reduction via range-preserving input-to-con...

Scalable liveness verification

Adaptive bug-search depth for simple and deep counterexamples

Adaptive bug-search depth for simple and deep counterexamples

Scalable logic verification by identifying unate primary inputs

Integrated circuit design verification

Delayed equivalence identification

Scalable logic verification by identifying unate primary inputs

Lifting of bounded liveness counterexamples to concrete liveness co...

Scalable and automated identification of unobservability causality...

Lifting of bounded liveness counterexamples to concrete liveness co...

Method for scalable liveness verification via abstraction refinement

System and program product for scalable liveness verification via a...

Patents Applicationslast 30 patents

SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS

SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS

SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS

INITIAL-STATE AND NEXT-STATE VALUE FOLDING

VERIFICATION COMPLEXITY REDUCTION VIA RANGE-PRESERVING INPUT-TO-CON...

SCALABLE CONNECTIVITY VERIFICATION USING CONDITIONAL CUT-POINTS

SCALABLE LIVENESS VERIFICATION

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

ADAPTIVE BUG-SEARCH DEPTH FOR SIMPLE AND DEEP COUNTEREXAMPLES

INTEGRATED CIRCUIT DESIGN VERIFICATION

DELAYED EQUIVALENCE IDENTIFICATION

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE AND AUTOMATED IDENTIFICATION OF UNOBSERVABILITY CAUSALITY...

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

LIFTING OF BOUNDED LIVENESS COUNTEREXAMPLES TO CONCRETE LIVENESS CO...

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT

SCALABLE LIVENESS VERIFICATION VIA ABSTRACTION REFINEMENT