Barsneya Chakrabarti

Follow

Person

Noida, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Formal clock network analysis, visualization, verification and gene...
- Patent number 10,599,800
- Issue date Mar 24, 2020
- Synopsys, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for reactive initialization based formal verifica...
- Patent number 9,721,058
- Issue date Aug 1, 2017
- Synopsys, Inc.
- Mohamed Shaker Sarwary
- 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
System and method for abstraction of a circuit portion of an integr...
- Patent number 8,656,328
- Issue date Feb 18, 2014
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Formal Clock Network Analysis, Visualization, Verification and Gene...
- Publication number 20190034571
- Publication date Jan 31, 2019
- Synopsys, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR REACTIVE INITIALIZATION BASED FORMAL VERIFICA...
- Publication number 20160300009
- Publication date Oct 13, 2016
- Synopsys, Inc.
- Mohamed Shaker Sarwary
- 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