Kavita Ravi

Follow

Person

Chelmsford, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Coverage metric and coverage computation for verification based on...
- Patent number 7,712,059
- Issue date May 4, 2010
- Cadence Design Systems, Inc.
- Xiaoqun Du
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for verifying circuit designs through propagation...
- Patent number 7,444,274
- Issue date Oct 28, 2008
- Cadence Design Systems, Inc.
- Manu Chopra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Design optimization using approximate reachability analysis
- Patent number 7,428,712
- Issue date Sep 23, 2008
- Cadence Design Systems, Inc.
- Vinaya Kumar Singh
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Coverage metric and coverage computation for verification based on...
- Patent number 7,181,708
- Issue date Feb 20, 2007
- Cadence Design Systems, Inc.
- Xiaoqun Du
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for partitioning an integrated circuit design
- Patent number 7,047,510
- Issue date May 16, 2006
- Cadence Design Systems, Inc.
- Manu Chopra
- G06 - COMPUTING CALCULATING COUNTING