Inventor
Maayan Ziv
Inventor
Haifa, IL
Overview
Patents· 5 as inventor
Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.
G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
10,803,219Method and system for combined formal static analysis of a design code202010,769,333System, method, and computer program product for debugging one or more observable failures in a formal verification202010,599,797System, method, and computer program product for grouping one or more failures in a formal verification202010,546,084System, method, and computer program product for ranking and displaying violations in an electronic design202010,261,887Method and system for computerized debugging assertions2019Career & activity timeline
Assembled from patent assignee/location history and declaration credentials.
2019–2020Patents assigned to CADENCE DESIGN SYSTEMS INC (5)· patent assignee history
2019–2020Based in Haifa, IL· patent location history
2020Based in Hameiri, IL· patent location history
Inventor activity
Assignee and location history derived from the patent record.
Assignees
| Assignee | Patents | Span |
|---|---|---|
| CADENCE DESIGN SYSTEMS INC | 5 | 2019–2020 |
Locations
| Location | Patents | Span |
|---|---|---|
| Haifa, IL | 4 | 2019–2020 |
| Hameiri, IL | 1 | 2020 |