Issued Patents 2016
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9483591 | Assuring chip reliability with automatic generation of drivers and assertions | Eli Arbel, Erez Barak, Bodo Hoppe, Shiri Moran | 2016-11-01 |
| 9471327 | Verifying forwarding paths in pipelines | Anand B. Arunagiri, Sujeet Kumar, Viresh Paruthi | 2016-10-18 |
| 9459878 | Verifying forwarding paths in pipelines | Anand B. Arunagiri, Sujeet Kumar, Viresh Paruthi | 2016-10-04 |
| 9274791 | Verification of a vector execution unit design | Maarten J. Boersma, Ulrike Schmidt | 2016-03-01 |
| 9268563 | Verification of a vector execution unit design | Maarten J. Boersma, Ulrike Schmidt | 2016-02-23 |