Assignee
DSOUZA ASHVIN M
US·2 granted patents·1 citations·filing 2009–2009
Technology mixG06F2
Top patents by PatentIndex Score
2 records- 0150US8813007B2Automatic approximation of assumptions for formal property verificationDSOUZA ASHVIN M·Filed 2009·Granted Aug 19, 2014·1 cites·24 claims
- 0242US8104002B2Performing logic optimization and state-space reduction for hybrid verificationDSOUZA ASHVIN M·Filed 2009·Granted Jan 24, 2012·0 cites·24 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →