Issued Patents 2016
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9471327 | Verifying forwarding paths in pipelines | Anand B. Arunagiri, Udo Krautz, Sujeet Kumar | 2016-10-18 |
| 9459878 | Verifying forwarding paths in pipelines | Anand B. Arunagiri, Udo Krautz, Sujeet Kumar | 2016-10-04 |
| 9436582 | Calculating an immediate parent assertion statement for program verification | Mitra Purandare | 2016-09-06 |
| 9280496 | Formal verification of arbiters | Gadiel Auerbach, Fady Copty | 2016-03-08 |