LexDanaLexDanabeta
Inventor

David R. Spatafore

Inventor
Maple Grove, MN, US

Overview

4→
Patents
2011–2020
Patent span
Physics
Primary field (CPC G)

Patents· 4 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
10,586,014Method and system for verification using combined verification data202010,515,169System, method, and computer program product for computing formal coverage data compatible with dynamic verification20198,032,687'Method, system, and apparatus for supporting limited address mode memory access'20117,895,379'Logic controller having hard-coded control logic and programmable override control store entries'2011

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2011Patents assigned to UNISYS CORP (2)· patent assignee history
2011Based in Blaine, MN, US· patent location history
2019–2020Patents assigned to CADENCE DESIGN SYSTEMS INC (2)· patent assignee history
2019–2020Based in Maple Grove, MN, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
CADENCE DESIGN SYSTEMS INC22019–2020
UNISYS CORP22011
Locations
LocationPatentsSpan
Maple Grove, Minnesota, US22019–2020
Blaine, Minnesota, US22011