Pradeep Kumar Nalla

Follow

Person

Sheffield, GB

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

Patents Applicationslast 30 patents

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