Membership
Tour
Register
Log in
Pradeep Goyal
Follow
Person
New Delhi, IN
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Method for waveform based debugging for cover failures from formal...
Patent number
10,380,301
Issue date
Aug 13, 2019
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for oscillating loop d...
Patent number
10,176,286
Issue date
Jan 8, 2019
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods, systems, and computer program product for implementing dea...
Patent number
10,108,767
Issue date
Oct 23, 2018
Cadence Design Systems, Inc.
Victor Markus Purri
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System, method, and computer program product for analyzing X-propag...
Patent number
10,031,990
Issue date
Jul 24, 2018
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for mutation coverage during formal verification
Patent number
8,990,746
Issue date
Mar 24, 2015
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for debugging unreachable design targets detected by formal...
Patent number
8,910,099
Issue date
Dec 9, 2014
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System method and apparatus for vacuity detection
Patent number
8,612,905
Issue date
Dec 17, 2013
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Constraint minimization method for formal verification
Patent number
8,316,332
Issue date
Nov 20, 2012
Cadence Design Systems, Inc.
Pradeep Goyal
G06 - COMPUTING CALCULATING COUNTING