Fahim Rahim

Follow

Person

Lyon, FR

People

Patents Grantslast 30 patents

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
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
System and method for reducing power of a circuit using critical si...
- Patent number 9,405,872
- Issue date Aug 2, 2016
- Synopsys, Inc.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

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
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 REDUCING POWER OF A CIRCUIT USING CRITICAL SI...
- Publication number 20150356222
- Publication date Dec 10, 2015
- ATRENTA, INC.
- Solaiman Rahim
- G06 - COMPUTING CALCULATING COUNTING