Membership
Tour
Register
Log in
Mohammad H. Movahed-Ezazi
Follow
Person
Saratoga, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 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 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
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 strengthening of a circuit element to reduce...
Patent number
8,984,469
Issue date
Mar 17, 2015
Atrenta, Inc.
Solaiman Rahim
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 metastability verification of circuits of an...
Patent number
8,856,706
Issue date
Oct 7, 2014
Atrenta, Inc.
Maher Mneimneh
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Computer system for generating an integrated and unified view of IP...
Patent number
8,788,993
Issue date
Jul 22, 2014
Atrenta, Inc.
Sridhar Gangadharan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for large multiplexer identification and creation...
Patent number
8,739,087
Issue date
May 27, 2014
Atrenta, Inc.
Tien-Chien Lee
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Sequential clock gating using net activity and xor technique on sem...
Patent number
8,677,295
Issue date
Mar 18, 2014
Atrenta, Inc.
Solaiman Rahim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Sequential clock gating using net activity and XOR technique on sem...
Patent number
8,656,326
Issue date
Feb 18, 2014
Atrenta, Inc.
Solaiman Rahim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for strengthening of a circuit element to reduce...
Patent number
8,635,578
Issue date
Jan 21, 2014
Atrenta, Inc.
Solaiman Rahim
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
Method for generating an integrated and unified view of IP-cores fo...
Patent number
8,533,647
Issue date
Sep 10, 2013
Atrenta, Inc.
Sridhar Gangadharan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for metastability verification of circuits of an...
Patent number
8,448,111
Issue date
May 21, 2013
Atrenta, Inc.
Maher Mneimneh
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 Applications
last 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
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
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
SEQUENTIAL CLOCK GATING USING NET ACTIVITY AND XOR TECHNIQUE ON SEM...
Publication number
20150143307
Publication date
May 21, 2015
ATRENTA, INC.
Solaiman Rahim
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
SYSTEM AND METHOD FOR STRENGTHENING OF A CIRCUIT ELEMENT TO REDUCE...
Publication number
20140282347
Publication date
Sep 18, 2014
ATRENTA, INC.
Solaiman Rahim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPUTER SYSTEM FOR GENERATING AN INTEGRATED AND UNIFIED VIEW OF IP...
Publication number
20140101630
Publication date
Apr 10, 2014
ATRENTA, INC.
Sridhar Gangadharan
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...
Publication number
20130246989
Publication date
Sep 19, 2013
ATRENTA, INC.
Maher MNEIMNEH
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
SYSTEM AND METHOD FOR METASTABILITY VERIFICATION OF CIRCUITS OF AN...
Publication number
20120180015
Publication date
Jul 12, 2012
ATRENTA, INC.
Maher MNEIMNEH
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
METHOD FOR GENERATING TIMING EXCEPTIONS
Publication number
20080201671
Publication date
Aug 21, 2008
ATRENTA, INC.
Housseine Rejouan
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