Nina Amla

Follow

Person

Hoboken, NJ, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for abstraction refinement verification
- Patent number 7,661,082
- Issue date Feb 9, 2010
- Cadence Design Systems, Inc.
- Kenneth L. McMillan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for design verification using proof-based abstrac...
- Patent number 7,406,405
- Issue date Jul 29, 2008
- Cadence Design Systems, Inc.
- Kenneth L. McMillan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and system for design verification using proof-based abstrac...
- Publication number 20040153308
- Publication date Aug 5, 2004
- Kenneth L. McMillan
- G06 - COMPUTING CALCULATING COUNTING