Inventor · disambiguated record
Pradeep Goyal
Also filed as: GOYAL PRADEEP
9 granted patents·53 citations·filing 2008–2017
85Inventor score
Top patents by PatentIndex Score
9 records- 0190US8990746B1Method for mutation coverage during formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2014·Granted Mar 24, 2015·15 cites·20 claims
- 0287US8316332B1Constraint minimization method for formal verificationGOYAL PRADEEP·Filed 2010·Granted Nov 20, 2012·15 cites·28 claims
- 0386US8910099B1Method for debugging unreachable design targets detected by formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2014·Granted Dec 9, 2014·10 cites·15 claims
- 0484US10108767B1Methods, systems, and computer program product for implementing deadlock detection with formal verification techniques in an electronic designCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Oct 23, 2018·5 cites·20 claims
- 0576US10380301B1Method for waveform based debugging for cover failures from formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Aug 13, 2019·4 cites·20 claims
- 0665US8612905B1System method and apparatus for vacuity detectionGOYAL PRADEEP·Filed 2008·Granted Dec 17, 2013·4 cites·25 claims
- 0750US10176286B1System, method, and computer program product for oscillating loop detection in formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2017·Granted Jan 8, 2019·0 cites·20 claims
- 0838US10031990B1System, method, and computer program product for analyzing X-propagation failures in formal verificationCADENCE DESIGN SYSTEMS INC·Filed 2016·Granted Jul 24, 2018·0 cites·14 claims
- 0934US9873185B2Rapid curing of resin bonded grinding wheelsPRADEEP METALS LTD·Filed 2013·Granted Jan 23, 2018·0 cites·22 claims
Join the waitlist — get patent alerts
Get an alert when Pradeep Goyal 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 →