Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11768990 | Interconnect flow graph for integrated circuit design | Uri Leder, Ori Ariel, Benzi Denkberg, Guy Nakibly | 2023-09-26 |
| 11544436 | Hardware-software interaction testing using formal verification | Uri Leder, Ori Cohen, Benzi Denkberg | 2023-01-03 |