Issued Patents 2018
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10031987 | Verification of untimed nets | — | 2018-07-24 |
| 9916407 | Phase algebra for analysis of hierarchical designs | Gabor Drasny | 2018-03-13 |
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10031987 | Verification of untimed nets | — | 2018-07-24 |
| 9916407 | Phase algebra for analysis of hierarchical designs | Gabor Drasny | 2018-03-13 |