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