Inventor · disambiguated record
Rajdeep Mukherjee
Also filed as: Mukherjee Rajdeep
7 granted patents·1 pending application·39 citations·filing 2016–2021
82Inventor score
Top patents by PatentIndex Score
8 records- 0194US11914993B1Example-based synthesis of rules for detecting violations of software coding practicesAMAZON TECH INC·Filed 2021·Granted Feb 27, 2024·11 cites·20 claims
- 0294US11586437B1Data flow tracking in program verificationAMAZON TECH INC·Filed 2021·Granted Feb 21, 2023·12 cites·20 claims
- 0392US12118350B1Hierarchical clustering for coding practice discoveryAMAZON TECH INC·Filed 2021·Granted Oct 15, 2024·4 cites·20 claims
- 0490US10789404B1System, method, and computer program product for generating a formal verification modelCADENCE DESIGN SYSTEMS INC·Filed 2019·Granted Sep 29, 2020·7 cites·20 claims
- 0582US10983758B1System, method, and computer program product for automatically inferring case-split hints in equivalence checking of an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2019·Granted Apr 20, 2021·3 cites·20 claims
- 0678US10984161B1System, method, and computer program product for sequential equivalence checking in formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2019·Granted Apr 20, 2021·2 cites·17 claims
- 0742US10970449B2Learning framework for software-hardware model generation and verificationIBM·Filed 2017·Granted Apr 6, 2021·0 cites·18 claims
- 0831US2018098258A1Inter-rat mobility measurements and operations to support ue connectivityQUALCOMM INC·Filed 2016·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Rajdeep Mukherjee 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 →