David Ryan Spatafore

Follow

Person

Maple Grove, MN, US

People

Patents Grantslast 30 patents

Information Patent Grant
Providing concise data for analyzing checker completeness
- Patent number 11,941,335
- Issue date Mar 26, 2024
- Cadence Design Systems, Inc.
- Amit Verma
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for verification using combined verification data
- Patent number 10,586,014
- Issue date Mar 10, 2020
- Cadence Design Systems, Inc.
- Yael Kinderman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and computer program product for computing formal c...
- Patent number 10,515,169
- Issue date Dec 24, 2019
- Cadence Design Systems, Inc.
- David Ryan Spatafore
- G06 - COMPUTING CALCULATING COUNTING