Inventor · disambiguated record
Ashvin M. Dsouza
Also filed as: DSOUZA ASHVIN · DSOUZA ASHVIN M · DSOUZA ASHVIN MARK
5 granted patents·35 citations·filing 2003–2018
76Inventor score
Technology areasG06F
Top patents by PatentIndex Score
5 records- 0179US10503853B1Formal verification using cached search path information to verify previously proved/disproved propertiesSYNOPSYS INC·Filed 2018·Granted Dec 10, 2019·3 cites·20 claims
- 0277US7454727B1Method and Apparatus for Solving Sequential ConstraintsSYNOPSYS INC·Filed 2006·Granted Nov 18, 2008·8 cites·9 claims
- 0377US7076753B2Method and apparatus for solving sequential constraintsSYNOPSYS INC·Filed 2003·Granted Jul 11, 2006·23 cites·17 claims
- 0450US8813007B2Automatic approximation of assumptions for formal property verificationDSOUZA ASHVIN M·Filed 2009·Granted Aug 19, 2014·1 cites·24 claims
- 0542US8104002B2Performing logic optimization and state-space reduction for hybrid verificationDSOUZA ASHVIN M·Filed 2009·Granted Jan 24, 2012·0 cites·24 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →