Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10839124 | Interactive compilation of software to a hardware language to satisfy formal verification constraints | Adi Habusha, Ofer Naaman, Tzachi Zidenberg, Ohad Gdalyahu | 2020-11-17 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10839124 | Interactive compilation of software to a hardware language to satisfy formal verification constraints | Adi Habusha, Ofer Naaman, Tzachi Zidenberg, Ohad Gdalyahu | 2020-11-17 |