Inventor · disambiguated record
Pratik Mahajan
Also filed as: MAHAJAN PRATIK
8 granted patents·3 pending applications·44 citations·filing 2003–2022
82Inventor score
Top patents by PatentIndex Score
11 records- 0183US11818092B2Internet protocol schema generationRAKUTEN MOBILE INC·Filed 2022·Granted Nov 14, 2023·2 cites·20 claims
- 0283US11689498B1Internet protocol address generationRAKUTEN MOBILE INC·Filed 2022·Granted Jun 27, 2023·2 cites·20 claims
- 0379US11010522B2Efficient mechanism for interactive fault analysis in formal verification environmentSYNOPSYS INC·Filed 2018·Granted May 18, 2021·4 cites·20 claims
- 0479US10657307B1Using runtime information from solvers to measure quality of formal verificationSYNOPSYS INC·Filed 2018·Granted May 19, 2020·3 cites·15 claims
- 0577US7047510B1Method and system for partitioning an integrated circuit designCADENCE DESIGN SYSTEMS INC·Filed 2003·Granted May 16, 2006·26 cites·26 claims
- 0669US7712060B1Method and system for handling assertion libraries in functional verificationCADENCE DESIGN SYSTEMS INC·Filed 2007·Granted May 4, 2010·7 cites·34 claims
- 0751US12184607B2Generating multiple internet protocol (IP) addresses in wireless networkRAKUTEN MOBILE INC·Filed 2022·Granted Dec 31, 2024·0 cites·10 claims
- 0849US10592624B2Efficient mechanism of fault qualification using formal verificationSYNOPSYS INC·Filed 2018·Granted Mar 17, 2020·0 cites·20 claims
- 0944US2023177244A1Creation of reduced formal model for scalable system-on-chip (soc) level connectivity verificationSYNOPSYS INC·Filed 2022·Application pending·0 cites
- 1041US2023315504A1Network component naming system, method, device, and programRAKUTEN MOBILE INC·Filed 2022·Application pending·0 cites
- 1138US2021216694A1Debugging non-detected faults using sequential equivalence checkingSYNOPSYS INC·Filed 2020·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Pratik Mahajan 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 →