Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12361195 | Extending cover properties in formal verification to generate failure traces that reach end-of-test | Hani Assaf, Max Chvalevsky, Yefim Fainstein | 2025-07-15 |
| 12306719 | Link down resilience | Roi Ben Haim, Guy Nakibly, Sergey Kleyman, Ariel Pescovsky, Muhamad Grefat | 2025-05-20 |
| 12271669 | Executing instruction sequences generated from software interactions as part of formal verification of a design under test | Ori Ariel, Assaf Fainer, Simaan Bahouth, Max Chvalevsky, Itai Kahana | 2025-04-08 |
| 12175178 | Fuzzy scoreboard | Max Chvalevsky | 2024-12-24 |
| 11768990 | Interconnect flow graph for integrated circuit design | Ori Ariel, Max Chvalevsky, Benzi Denkberg, Guy Nakibly | 2023-09-26 |
| 11544436 | Hardware-software interaction testing using formal verification | Ori Cohen, Benzi Denkberg, Max Chvalevsky | 2023-01-03 |
| 11182103 | Dedicated communications cache | Itai Avron, Adi Habusha, Svetlana Kantorovych | 2021-11-23 |
| 10929584 | Environmental modification testing for design correctness with formal verification | Benzi Denkberg, Ori Weber | 2021-02-23 |
| 10911358 | Packet processing cache | Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman | 2021-02-02 |
| 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 |
| 10298496 | Packet processing cache | Guy Nakibly, Benzi Denkberg, Erez Izenberg, Nafea Bshara, Ofer Frishman | 2019-05-21 |
| 10228869 | Controlling shared resources and context data | Guy Nakibly, Benzi Denkberg, Ofer Frishman, Erez Izenberg, Nafea Bshara | 2019-03-12 |
| RE32700 | Convertible platen for graphics plotter | Pernie E. Westly | 1988-06-21 |
| 4512505 | Convertible platen for graphics plotter | Pernie E. Westly | 1985-04-23 |