Inventor
JAIN ALOK
IN30 patents
⚠️ This page may combine multiple inventors who share the name “JAIN ALOK”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
8 patentsUS7047510B1May 16, 2006
Method and system for partitioning an integrated circuit design
CADENCE DESIGN SYSTEMS INC26 citations91
US8990746B1Mar 24, 2015
Method for mutation coverage during formal verification
CADENCE DESIGN SYSTEMS INC15 citations82
US8910099B1Dec 9, 2014
Method for debugging unreachable design targets detected by formal verification
CADENCE DESIGN SYSTEMS INC10 citations82
US7747971B1Jun 29, 2010
State retention for formal verification
CADENCE DESIGN SYSTEMS INC14 citations80
US7428712B1Sep 23, 2008
Design optimization using approximate reachability analysis
CADENCE DESIGN SYSTEMS INC5 citations61
US7444274B1Oct 28, 2008
Method and system for verifying circuit designs through propagation of assertions
CADENCE DESIGN SYSTEMS INC3 citations60
US7031898B2Apr 18, 2006
Mechanism for recognizing and abstracting memory structures
CADENCE DESIGN SYSTEMS INC6 citations58
US6848090B2Jan 25, 2005
Mechanism for recognizing and abstracting pre-charged latches and flip-flops
CADENCE DESIGN SYSTEMS INC4 citations54
APPLIED MATERIALS INC
5 patentsUS6802944B2Oct 12, 2004
High density plasma CVD process for gapfill into high aspect ratio features
APPLIED MATERIALS INC284 citations96
US6180533B1Jan 30, 2001
Method for etching a trench having rounded top corners in a silicon substrate
APPLIED MATERIALS INC71 citations94
US7253115B2Aug 7, 2007
Dual damascene etch processes
APPLIED MATERIALS INC10 citations80
US7229930B2Jun 12, 2007
Selective etching of low-k dielectrics
APPLIED MATERIALS INC4 citations54
US12195846B2Jan 14, 2025
Modified stacks for 3D NAND
APPLIED MATERIALS INC0 citations45
MICROSOFT TECHNOLOGY LICENSING LLC
4 patentsUS10268477B1Apr 23, 2019
Modeling lifetime of hybrid software application using application manifest
MICROSOFT TECHNOLOGY LICENSING LLC9 citations79
US10395177B2Aug 27, 2019
Optimized execution order correlation with production listing order
MICROSOFT TECHNOLOGY LICENSING LLC1 citations54
US10656939B2May 19, 2020
Modeling lifetime of hybrid software application using application manifest
MICROSOFT TECHNOLOGY LICENSING LLC0 citations48
US10326850B2Jun 18, 2019
Weighted experience website performance score
MICROSOFT TECHNOLOGY LICENSING LLC0 citations36