Issued Patents 2019
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10318653 | Systems and methods for creating harness models for model verification | John P. Dirner, S. M. Shahed Nejhum, Gregg P. Smith, Vijaya Raghavan, Kalyan Bemalkhedkar +1 more | 2019-06-11 |
| 10185793 | Conditional-based duration logic | David B. Andrade, Srinath Avadhanula | 2019-01-22 |