Accelerating formal property verification across design versions using sequential equivalence checking
US-11507719-B1 · Nov 22, 2022 · US
This page is not indexed by search engines while we improve data quality.
Jain Mitesh patents
Jain Mitesh is listed as an inventor on 1 patent in our database. Major assignees and classification codes are summarized below.
| Metric | Value |
|---|---|
| Inventor | Jain Mitesh |
| Total patents | 1 |
| First publication | Nov 22, 2022 |
| Latest publication | Nov 22, 2022 |
Notable patents
Publications ranked by popularity score, then publication date.
Recent patents
Latest publications not already listed above.
No data yet.
Major assignees
Companies most often associated with this inventor's publications.
| Assignee | Patents |
|---|---|
| Synopsys Inc | 1 |
Top CPC classifications
Most common classification codes across this inventor's patents.
| CPC | Patents |
|---|---|
| G06F30/3323 | 1 |
| G06F30/323 | 1 |
| G06F2111/04 | 1 |
| G06F2119/02 | 1 |