Kathryn M. Mossawir

Follow

Person

Mountain View, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Method for using an equivalence checker to reduce verification effo...
- Patent number 8,117,576
- Issue date Feb 14, 2012
- Rambus Inc.
- Kathryn M. Mossawir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-format consistency checking tool
- Patent number 7,392,492
- Issue date Jun 24, 2008
- Rambus Inc.
- Qiang Hong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Mixed mode verifier
- Patent number 7,360,187
- Issue date Apr 15, 2008
- Rambus Inc.
- Kevin D. Jones
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method for Using an Equivalence Checker to Reduce Verification Effo...
- Publication number 20090228849
- Publication date Sep 10, 2009
- Kathryn M. Mossawir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-Format Consistency Checking Tool
- Publication number 20080263487
- Publication date Oct 23, 2008
- Qiang Hong
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-project verification environment
- Publication number 20070214178
- Publication date Sep 13, 2007
- Thomas J. Sheffler
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Mixed mode verifier
- Publication number 20070079268
- Publication date Apr 5, 2007
- Kevin D. Jones
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Multi-format consistency checking tool
- Publication number 20070079267
- Publication date Apr 5, 2007
- Qiang Hong
- G06 - COMPUTING CALCULATING COUNTING