Inventor
PANDEY MANISH
US26 patents
⚠️ This page may combine multiple inventors who share the name “PANDEY MANISH”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
CADENCE DESIGN SYSTEMS INC
10 patentsUS7962886B1Jun 14, 2011
Method and system for generating design constraints
CADENCE DESIGN SYSTEMS INC48 citations95
US7739629B2Jun 15, 2010
Method and mechanism for implementing electronic designs having power information specifications background
CADENCE DESIGN SYSTEMS INC42 citations95
US7587690B1Sep 8, 2009
Method and system for global coverage analysis
CADENCE DESIGN SYSTEMS INC11 citations83
US6848084B1Jan 25, 2005
Method and apparatus for verification of memories at multiple abstraction levels
CADENCE DESIGN SYSTEMS INC12 citations83
US7266790B2Sep 4, 2007
Method and system for logic equivalence checking
CADENCE DESIGN SYSTEMS INC10 citations82
US7669165B2Feb 23, 2010
Method and system for equivalence checking of a low power design
CADENCE DESIGN SYSTEMS INC16 citations81
US7694251B2Apr 6, 2010
Method and system for verifying power specifications of a low power design
CADENCE DESIGN SYSTEMS INC16 citations80
US7644380B1Jan 5, 2010
Method for analyzing circuits having MOS devices
CADENCE DESIGN SYSTEMS INC4 citations57
US7620918B2Nov 17, 2009
Method and system for logic equivalence checking
CADENCE DESIGN SYSTEMS INC0 citations48
US7620919B2Nov 17, 2009
Method and system for logic equivalence checking
CADENCE DESIGN SYSTEMS INC0 citations48
WELLS FARGO BANK NA
5 patentsUS11605126B1Mar 14, 2023
Detecting fraud in credit applications
WELLS FARGO BANK NA4 citations73
US11074302B1Jul 27, 2021
Anomaly visualization for computerized models
WELLS FARGO BANK NA4 citations66
US11922505B1Mar 5, 2024
Trade asset card
WELLS FARGO BANK NA0 citations59
US11508009B1Nov 22, 2022
Trade asset card
WELLS FARGO BANK NA1 citations59
US11599579B1Mar 7, 2023
Anomaly visualization for computerized models
WELLS FARGO BANK NA0 citations56
SYNOPSYS INC
5 patentsUS9430595B2Aug 30, 2016
Managing model checks of sequential designs
SYNOPSYS INC4 citations71
US11501048B1Nov 15, 2022
Estimating hardness of formal properties using on-the-fly machine learning
SYNOPSYS INC2 citations70
US10503853B1Dec 10, 2019
Formal verification using cached search path information to verify previously proved/disproved properties
SYNOPSYS INC3 citations66
US10140403B2Nov 27, 2018
Managing model checks of sequential designs
SYNOPSYS INC1 citations50
US10521536B2Dec 31, 2019
RTL verification using computational complexity-based property ranking and scheduling
SYNOPSYS INC0 citations45