Issued Patents 2017
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9684494 | Efficient parallel computation of dependency problems | Shay Mizrachi, Uri Tal, Tomer Ben-David, Ido Kasher, Ronen Gal | 2017-06-20 |
| 9684744 | Verification of system assertions in simulation | Guy Rom, Shay Mizrachi | 2017-06-20 |
| 9672065 | Parallel simulation using multiple co-simulators | Shay Mizrachi, Uri Tal, Tomer Ben-David, Ido Kasher | 2017-06-06 |