Raghurama Krishna Srigiriraju

Follow

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Accelerating coverage convergence and debug using symbolic properti...
- Patent number 8,443,316
- Issue date May 14, 2013
- Synopsys, Inc.
- Parijat Biswas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accelerating coverage convergence using symbolic properties
- Patent number 8,386,974
- Issue date Feb 26, 2013
- Synopsys, Inc.
- Parijat Biswas
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
ACCELERATING COVERAGE CONVERGENCE AND DEBUG USING SYMBOLIC PROPERTI...
- Publication number 20130117722
- Publication date May 9, 2013
- Synopsys, Inc.
- Parijat Biswas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Accelerating Coverage Convergence Using Symbolic Properties
- Publication number 20120266118
- Publication date Oct 18, 2012
- Synopsys, Inc.
- Parijat Biswas
- G06 - COMPUTING CALCULATING COUNTING