Pradeep K. Nalla

Person

Bangalore, IN

People

Patents Grantslast 30 patents

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
Formal verification driven power modeling and design verification
- Patent number 10,354,028
- Issue date Jul 16, 2019
- International Business Machines Corporation
- Anand Haridass
- 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
Formal verification driven power modeling and design verification
- Patent number 9,697,306
- Issue date Jul 4, 2017
- International Business Machines Corporation
- Anand Haridass
- 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
Information Patent Grant
Formal verification driven power modeling and design verification
- Patent number 9,460,251
- Issue date Oct 4, 2016
- International Business Machines Corporation
- Anand Haridass
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
FORMAL VERIFICATION DRIVEN POWER MODELING AND DESIGN VERIFICATION
- Publication number 20170344678
- Publication date Nov 30, 2017
- International Business Machines Corporation
- Anand Haridass
- G06 - COMPUTING CALCULATING COUNTING
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
FORMAL VERIFICATION DRIVEN POWER MODELING AND DESIGN VERIFICATION
- Publication number 20170235856
- Publication date Aug 17, 2017
- International Business Machines Corporation
- Anand Haridass
- 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

Pradeep K. Nalla

Person

Patents Grantslast 30 patents

Scalable liveness verification

Adaptive bug-search depth for simple and deep counterexamples

Formal verification driven power modeling and design verification

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...

Formal verification driven power modeling and design verification

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...

Formal verification driven power modeling and design verification

Patents Applicationslast 30 patents

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

FORMAL VERIFICATION DRIVEN POWER MODELING AND DESIGN VERIFICATION

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

SCALABLE LOGIC VERIFICATION BY IDENTIFYING UNATE PRIMARY INPUTS

FORMAL VERIFICATION DRIVEN POWER MODELING AND DESIGN VERIFICATION

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