Gerard Memmi

Follow

Person

Cambridge, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Integrated circuit analysis system and method using model checking
- Patent number 7,493,247
- Issue date Feb 17, 2009
- Dafca, Inc.
- Gerard Memmi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Serial implementation of assertion checking logic circuit
- Patent number 7,305,635
- Issue date Dec 4, 2007
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Computers systems and methods for verifying representations of a ci...
- Patent number 6,219,821
- Issue date Apr 17, 2001
- Chrysalis Symbolic Design, Inc.
- John Hagerman
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHODS AND SYSTEMS FOR PROVIDING TARGETED ADVERTISEMENTS OVER A NE...
- Publication number 20090106105
- Publication date Apr 23, 2009
- HIRE REACH, INC.
- Steve Lewis
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Integrated circuit analysis system and method using model checking
- Publication number 20070168730
- Publication date Jul 19, 2007
- DAFCA, Inc.
- Gerard Memmi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Integrated circuit with autonomous power management
- Publication number 20060218424
- Publication date Sep 28, 2006
- Miron Abramovici
- G06 - COMPUTING CALCULATING COUNTING