Manish Goel

Follow

Person

Noida, IN

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for power verification using efficient merging of...
- Patent number 10,311,192
- Issue date Jun 4, 2019
- Synopsys, Inc.
- Shekaripuram V. Venkatesh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus using formal methods for checking generated-cl...
- Patent number 9,201,992
- Issue date Dec 1, 2015
- Synopsys, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer-aided design system and methods thereof for merging design...
- Patent number 8,775,989
- Issue date Jul 8, 2014
- Atrenta, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for checking constraints equivalence of an integrated circui...
- Patent number 7,882,483
- Issue date Feb 1, 2011
- Atrenta, Inc.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR POWER VERIFICATION USING EFFICIENT MERGING OF...
- Publication number 20160292346
- Publication date Oct 6, 2016
- Synopsys, Inc.
- Shekaripuram V. Venkatesh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS USING FORMAL METHODS FOR CHECKING GENERATED-CL...
- Publication number 20150234959
- Publication date Aug 20, 2015
- ATRENTA, INC.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR ABSTRACTION OF A CIRCUIT PORTION OF AN INTEGR...
- Publication number 20150234973
- Publication date Aug 20, 2015
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPUTER-AIDED DESIGN SYSTEM AND METHODS THEREOF FOR MERGING DESIGN...
- Publication number 20130014068
- Publication date Jan 10, 2013
- ATRENTA, INC.
- Sridhar GANGADHARAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR CHECKING CONSTRAINTS EQUIVALENCE OF AN INTEGRATED CIRCUI...
- Publication number 20080301598
- Publication date Dec 4, 2008
- ATRENTA, INC.
- Sridhar Gangadharan
- G06 - COMPUTING CALCULATING COUNTING