Mohamed Shaker SARWARY

Person

San Diego, CA, US

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 managing and composing verification engines
- Patent number 10,387,605
- Issue date Aug 20, 2019
- Synopsys, Inc.
- Maher Mneimneh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reset domain crossing management using unified power format
- Patent number 10,289,773
- Issue date May 14, 2019
- Synopsys, Inc.
- Deep Shah
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for netlist clock domain crossing verification
- Patent number 9,721,057
- Issue date Aug 1, 2017
- Synopsys, Inc.
- Malay Ganai
- 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
Apparatus and method thereof for hybrid timing exception verificati...
- Patent number 9,208,272
- Issue date Dec 8, 2015
- Synopsys, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for a hybrid clock domain crossing verification
- Patent number 8,984,457
- Issue date Mar 17, 2015
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- 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
Information Patent Grant
Hierarchical bottom-up clock domain crossing verification
- Patent number 8,607,173
- Issue date Dec 10, 2013
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Apparatus and method thereof for hybrid timing exception verificati...
- Patent number 8,560,988
- Issue date Oct 15, 2013
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for clock synchronization validation in integrated circuit d...
- Patent number 7,506,292
- Issue date Mar 17, 2009
- Atrenta, Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method for clock synchronization validation in integrated circuit d...
- Patent number 7,073,146
- Issue date Jul 4, 2006
- 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
Reset Domain Crossing Management Using Unified Power Format
- Publication number 20180004876
- Publication date Jan 4, 2018
- Synopsys, Inc.
- Deep Shah
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MANAGING AND COMPOSING VERIFICATION ENGINES
- Publication number 20170024508
- Publication date Jan 26, 2017
- Synopsys, Inc.
- Maher Mneimneh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR CHECKING AND CORRECTING SHOOT-THROUGH IN RTL...
- Publication number 20160342727
- Publication date Nov 24, 2016
- 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
SYSTEM AND METHOD FOR NETLIST CLOCK DOMAIN CROSSING VERIFICATION
- Publication number 20160259879
- Publication date Sep 8, 2016
- Synopsys, Inc.
- Malay Ganai
- 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
SYSTEM AND METHOD FOR A HYBRID CLOCK DOMAIN CROSSING VERIFICATION
- Publication number 20140282321
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR FILTRATION OF ERROR REPORTS RESPECTIVE OF STA...
- Publication number 20140282322
- Publication date Sep 18, 2014
- ATRENTA, INC.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...
- Publication number 20140040841
- Publication date Feb 6, 2014
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HIERARCHICAL BOTTOM-UP CLOCK DOMAIN CROSSING VERIFICATION
- Publication number 20130239080
- Publication date Sep 12, 2013
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...
- Publication number 20120042294
- Publication date Feb 16, 2012
- ATRENTA, INC.
- Mohamed Shaker SARWARY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD FOR CLOCK SYNCHRONIZATION VALIDATION IN INTEGRATED CIRCUIT D...
- Publication number 20060150043
- Publication date Jul 6, 2006
- Atrenta Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method for clock synchronization validation in integrated circuit d...
- Publication number 20050097484
- Publication date May 5, 2005
- ATRENTA Inc.
- Mohamed Shaker Sarwary
- G06 - COMPUTING CALCULATING COUNTING

Mohamed Shaker SARWARY

Person

Patents Grantslast 30 patents

Formal clock network analysis, visualization, verification and gene...

System and method for managing and composing verification engines

Reset domain crossing management using unified power format

System and method for netlist clock domain crossing verification

System and method for reactive initialization based formal verifica...

Apparatus and method thereof for hybrid timing exception verificati...

System and method for a hybrid clock domain crossing verification

System and method for abstraction of a circuit portion of an integr...

Hierarchical bottom-up clock domain crossing verification

Apparatus and method thereof for hybrid timing exception verificati...

Method for clock synchronization validation in integrated circuit d...

Method for clock synchronization validation in integrated circuit d...

Patents Applicationslast 30 patents

Formal Clock Network Analysis, Visualization, Verification and Gene...

Reset Domain Crossing Management Using Unified Power Format

SYSTEM AND METHOD FOR MANAGING AND COMPOSING VERIFICATION ENGINES

METHOD AND SYSTEM FOR CHECKING AND CORRECTING SHOOT-THROUGH IN RTL...

SYSTEM AND METHOD FOR REACTIVE INITIALIZATION BASED FORMAL VERIFICA...

SYSTEM AND METHOD FOR NETLIST CLOCK DOMAIN CROSSING VERIFICATION

SYSTEM AND METHOD FOR ABSTRACTION OF A CIRCUIT PORTION OF AN INTEGR...

SYSTEM AND METHOD FOR A HYBRID CLOCK DOMAIN CROSSING VERIFICATION

SYSTEM AND METHOD FOR FILTRATION OF ERROR REPORTS RESPECTIVE OF STA...

APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...

HIERARCHICAL BOTTOM-UP CLOCK DOMAIN CROSSING VERIFICATION

APPARATUS AND METHOD THEREOF FOR HYBRID TIMING EXCEPTION VERIFICATI...

METHOD FOR CLOCK SYNCHRONIZATION VALIDATION IN INTEGRATED CIRCUIT D...

Method for clock synchronization validation in integrated circuit d...