Debashis Sahoo

Person

Stanford, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for evaluating an erroneous state associated with...
- Patent number 7,788,556
- Issue date Aug 31, 2010
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multithreaded reachability
- Patent number 7,594,195
- Issue date Sep 22, 2009
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit verification
- Patent number 7,571,403
- Issue date Aug 4, 2009
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit verification using multiple engines
- Patent number 7,281,225
- Issue date Oct 9, 2007
- Fujitsu Limited
- Jawahar Jain
- G01 - MEASURING TESTING
Information Patent Grant
Determining one or more reachable states in a circuit using distrib...
- Patent number 7,216,312
- Issue date May 8, 2007
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for executing image computation associated with a...
- Patent number 7,032,197
- Issue date Apr 18, 2006
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Circuit verification
- Patent number 7,028,279
- Issue date Apr 11, 2006
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for verifying a plurality of states associated wi...
- Patent number 6,904,578
- Issue date Jun 7, 2005
- Fujitsu Limited
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Multithreaded Reachability
- Publication number 20070124711
- Publication date May 31, 2007
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Circuit Verification
- Publication number 20060173666
- Publication date Aug 3, 2006
- FUJITSU LIMITED
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Circuit verification using multiple engines
- Publication number 20050138474
- Publication date Jun 23, 2005
- Jawahar Jain
- G01 - MEASURING TESTING
Information Patent Application
Determining one or more reachable states in a circuit using distrib...
- Publication number 20040199887
- Publication date Oct 7, 2004
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for evaluating an erroneous state associated with...
- Publication number 20040093541
- Publication date May 13, 2004
- FUJITSU LIMITED
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for executing image computation associated with a...
- Publication number 20040093572
- Publication date May 13, 2004
- FUJITSU LIMITED
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and method for verifying a plurality of states associated wi...
- Publication number 20040093570
- Publication date May 13, 2004
- FUJITSU LIMITED
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Circuit verification
- Publication number 20040093571
- Publication date May 13, 2004
- Jawahar Jain
- G06 - COMPUTING CALCULATING COUNTING

Debashis Sahoo

Person

Patents Grantslast 30 patents

System and method for evaluating an erroneous state associated with...

Multithreaded reachability

Circuit verification

Circuit verification using multiple engines

Determining one or more reachable states in a circuit using distrib...

System and method for executing image computation associated with a...

Circuit verification

System and method for verifying a plurality of states associated wi...

Patents Applicationslast 30 patents

Multithreaded Reachability

Circuit Verification

Circuit verification using multiple engines

Determining one or more reachable states in a circuit using distrib...

System and method for evaluating an erroneous state associated with...

System and method for executing image computation associated with a...

System and method for verifying a plurality of states associated wi...

Circuit verification