Muzaffer Hiraoglu

Follow

Person

Chelmsford, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Providing guidance to an equivalence checker when a design contains...
- Patent number 10,628,545
- Issue date Apr 21, 2020
- Synopsys, Inc.
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transformation of IC designs for formal verification
- Patent number 8,453,083
- Issue date May 28, 2013
- Synopsys, Inc.
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transformation of IC designs for formal verification
- Patent number 8,443,317
- Issue date May 14, 2013
- Synopsys, Inc.
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROVIDING GUIDANCE TO AN EQUIVALENCE CHECKER WHEN A DESIGN CONTAINS...
- Publication number 20200026813
- Publication date Jan 23, 2020
- Synopsys, Inc.
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSFORMATION OF IC DESIGNS FOR FORMAL VERIFICATION
- Publication number 20090293028
- Publication date Nov 26, 2009
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Transformation of IC designs for formal verification
- Publication number 20080028347
- Publication date Jan 31, 2008
- SYNOPSYS, INC.
- Muzaffer Hiraoglu
- G06 - COMPUTING CALCULATING COUNTING