Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483593 | Method for decomposing a hardware model and for accelerating formal verification of the hardware model | Robert L. Hartung | 2016-11-01 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483593 | Method for decomposing a hardware model and for accelerating formal verification of the hardware model | Robert L. Hartung | 2016-11-01 |