Ashvin M. Dsouza

Follow

Person

Chelmsford, MA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Formal verification using cached search path information to verify...
- Patent number 10,503,853
- Issue date Dec 10, 2019
- Synopsys, Inc.
- Arunava Saha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic approximation of assumptions for formal property verifica...
- Patent number 8,813,007
- Issue date Aug 19, 2014
- Synopsys, Inc.
- Ashvin M. Dsouza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing logic optimization and state-space reduction for hybrid...
- Patent number 8,104,002
- Issue date Jan 24, 2012
- Synopsys, Inc.
- Ashvin M. Dsouza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and Apparatus for Solving Sequential Constraints
- Patent number 7,454,727
- Issue date Nov 18, 2008
- Synopsys, Inc.
- Eduard Cerny
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for solving sequential constraints
- Patent number 7,076,753
- Issue date Jul 11, 2006
- Synopsys, Inc.
- Eduard Cerny
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATIC APPROXIMATION OF ASSUMPTIONS FOR FORMAL PROPERTY VERIFICA...
- Publication number 20100269078
- Publication date Oct 21, 2010
- Synopsys, Inc.
- Ashvin M. Dsouza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING LOGIC OPTIMIZATION AND STATE-SPACE REDUCTION FOR HYBRID...
- Publication number 20100192111
- Publication date Jul 29, 2010
- Synopsys, Inc.
- Ashvin M. Dsouza
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for solving sequential constraints
- Publication number 20050138585
- Publication date Jun 23, 2005
- Eduard Cerny
- G06 - COMPUTING CALCULATING COUNTING