Inventor · disambiguated record
Pradeep Kumar Nalla
Also filed as: NALLA PRADEEP K · NALLA PRADEEP KUMAR
20 granted patents·5 pending applications·28 citations·filing 2010–2023
91Inventor score
Files withIBM20RAKUTEN SYMPHONY INC2ALTIOSTAR NETWORKS INC1ALTIOSTAR NETWORKS INDIA PRIVATE LTD1RAHIM SOLAIMAN1
Top patents by PatentIndex Score
25 records- 0187US9697306B1Formal verification driven power modeling and design verificationIBM·Filed 2016·Granted Jul 4, 2017·4 cites·1 claims
- 0287US9460251B1Formal verification driven power modeling and design verificationIBM·Filed 2016·Granted Oct 4, 2016·4 cites·1 claims
- 0383US10210296B2Adaptive bug-search depth for simple and deep counterexamplesIBM·Filed 2017·Granted Feb 19, 2019·3 cites·6 claims
- 0482US10621297B1Initial-state and next-state value foldingIBM·Filed 2018·Granted Apr 14, 2020·4 cites·20 claims
- 0581US10579770B2Scalable connectivity verification using conditional cut-pointsIBM·Filed 2018·Granted Mar 3, 2020·3 cites·20 claims
- 0678US10073938B2Integrated circuit design verificationIBM·Filed 2016·Granted Sep 11, 2018·3 cites·19 claims
- 0772US8285527B2Method and system for equivalence checkingRAHIM SOLAIMAN·Filed 2010·Granted Oct 9, 2012·5 cites·15 claims
- 0871US10394987B2Adaptive bug-search depth for simple and deep counterexamplesIBM·Filed 2017·Granted Aug 27, 2019·1 cites·11 claims
- 0966US9471734B2System and program product for scalable liveness verification via abstraction refinementIBM·Filed 2015·Granted Oct 18, 2016·1 cites·14 claims
- 1060US10970454B2Scalable connectivity verification using conditional cut-pointsIBM·Filed 2020·Granted Apr 6, 2021·0 cites·20 claims
- 1160US10354028B2Formal verification driven power modeling and design verificationIBM·Filed 2017·Granted Jul 16, 2019·0 cites·1 claims
- 1259US2025133549A1Improving user experience in multi-frequency layer deployments using frequency band combination priority valueRAKUTEN SYMPHONY INC·Filed 2023·Application pending·0 cites
- 1355US2017235856A1Formal verification driven power modeling and design verificationIBM·Filed 2016·Application pending·0 cites
- 1455US2025227673A1SUPPORTING MULTIPLE BEARERS FOR UE WITH LIMITED LCIDsRAKUTEN SYMPHONY INC·Filed 2023·Application pending·0 cites
- 1551US9483595B2Method for scalable liveness verification via abstraction refinementIBM·Filed 2015·Granted Nov 1, 2016·0 cites·7 claims
- 1650US9678853B2Lifting of bounded liveness counterexamples to concrete liveness counterexamplesIBM·Filed 2015·Granted Jun 13, 2017·0 cites·9 claims
- 1749US9740589B2Lifting of bounded liveness counterexamples to concrete liveness counterexamplesIBM·Filed 2015·Granted Aug 22, 2017·0 cites·11 claims
- 1848US2024224258A1Determining peak connections in a distributed environmentALTIOSTAR NETWORKS INC·Filed 2022·Application pending·0 cites
- 1948US2024334513A1Systems and methods for dynamic adaptation to logical channel id rangesALTIOSTAR NETWORKS INDIA PRIVATE LTD·Filed 2023·Application pending·0 cites
- 2047US10540468B1Verification complexity reduction via range-preserving input-to-constant conversionIBM·Filed 2018·Granted Jan 21, 2020·0 cites·20 claims
- 2147US10078716B2Scalable logic verification by identifying unate primary inputsIBM·Filed 2016·Granted Sep 18, 2018·0 cites·20 claims
- 2245US10474777B2Scalable liveness verificationIBM·Filed 2017·Granted Nov 12, 2019·0 cites·17 claims
- 2345US9922153B2Scalable logic verification by identifying unate primary inputsIBM·Filed 2016·Granted Mar 20, 2018·0 cites·17 claims
- 2442US9715564B2Scalable and automated identification of unobservability causality in logic optimization flowsIBM·Filed 2015·Granted Jul 25, 2017·0 cites·20 claims
- 2536US9934873B2Delayed equivalence identificationIBM·Filed 2017·Granted Apr 3, 2018·0 cites·1 claims
Join the waitlist — get patent alerts
Get an alert when Pradeep Kumar Nalla files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →