Issued Patents All Time
| 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 |
| 9128748 | Parallel simulation using multiple co-simulators | Shay Mizrachi, Uri Tal, Tomer Ben-David, Ido Kasher | 2015-09-08 |
| 9032377 | Efficient parallel computation of dependency problems | Shay Mizrachi, Uri Tal, Tomer Ben-David, Ido Kasher, Ronen Gal | 2015-05-12 |